ps.println(ClassUtil.externalClassName(programClass.getName()) +
                   (verbose ?
                        ": " + ClassUtil.externalFullMethodDescription(programClass.getName(), 0, name, type):
                        "."  + name) +