getrandom(0x0, 0x0, 0xd601950564fcf6c3)