function print_u64

fn print_u64(val: u64) { .. }