main :: () -> void {
  f(3);
};

f :(u64)->void: (a:u64)->void{
  print_u64 a;
};