with text_io; use text_io; procedure hello is begin put("Hello world"); new_line; end hello;