Randexp.js is not necessary