// Copyright 2018 plutoo

void randomGet(u8* buf, size_t len);
u64 randomGet64(u8* buf, size_t len);