[Pebbles 002] random numbers binary