func random_u64(){
    // TODO: randomness
    return 3;
}