In `CALL` and `PROC `, the pretty printer inserts the internal `_'proc` in the output. It should not.