Infocom name for opcode

Technical Development Specifications
6

PRINTU and CHECKU were mentioned in this thread: Inform vs ZIL names for Z-code opcodes

I guess if Zilf adds names for the others, that’s the equivalent of a formal christening.