Split of_random() into of_random{16,32,64}()