main : (a:void)->void : (a:void) -> void {
  print;
};