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