The node you are looking for is at
gnat_ugn/gnat_and_program_execution implementation-notes
.