text: // MIT License, Copyright (c) 2020 Marvin Borner
  
  #ifndef RANDOM_H
  #define RANDOM_H
  
  #include <def.h>
  
  void srand(u32 seed);
  u32 rdrand(void);
  u32 rdseed(void);
  u32 rand(void);
  char *randstr(u32 size);
  
  #endif
  