pub fn debug_name(name: &ProcName) -> String
A procedure-name as DEBUG-NAME and DEBUG-CONTENTS give it, a qualifier after OF (p. 19).