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