#include "random.h"
#include <stdio.h>

int main() {
    set_random_seed(1842);
    uint32_t num = random_u32();
    printf("%u\n", num);
    return 0;
}