documented PHCtoC in the Ada source code tree