#ifndef SYSCALL_RANDCRYPTO_H_
#define SYSCALL_RANDCRYPTO_H_

#include <stdint.h>
#include <stddef.h>
#include "syscall/syscall.h"

int32_t SYSCALL0(sys_rand);

#endif // SYSCALL_RANDCRYPTO_H_