I see there is an opcode printv defined in OOps/disprep.c which does
not seem to have a manual entry. Probably written by Istvan. Am I
wrong about the manual or does anyone know what it does? I am guessing
prints a number of values at i-time
but not sure yet.