shuffle
hacks to get randomInt(), etc... to work