func random_u64(){
    // TODO: randomness
    var value = 0;
    return value;
}