The node you are looking for is at gnat_ugn/gnat_and_program_execution pretty-printers-for-the-gnat-runtime.