[PATCH] rename net_random to random32