proc f(a: Int) writei(a);

begin
  f(5)
end.