procedure gnat.io.a is begin put(1);end;