#include <ion.h>
#include <stdlib.h>

uint32_t Ion::random() {
  return rand();
}