getrandom(0x0, 0x54, 0x4865ee33e121500e)