... ; still global proc has problem, and perhaps also tape-proc