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

a :: (b:void,c:void) -> void {
  print;
  print;
};