// Copyright 2018 plutoo #pragma once #include "types.h" void randomGet(u8* buf, size_t len); u64 randomGet64(void);