%% encoding: UTF-8
{application,quickrand}.
{modules,[quickrand,random_wh06_int,random_wh82]}.
