procedure gnat.io.a is begin put("Hello, world!");end;