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