proc g(a: Boolean, b: Int)
begin
  writeb(a);
  writei(b)
end;

begin
  g(True, 5)
end.