1.0.13.36: better HAIRY-FUNCTION-ENTRY debug-names