procedure gnat.io.a is begin put("*** YOUR CODE ***");end;