private void print(String what, ASTNode where) { String addr = StringUtil.addrToString(segment.getCurrentAddress()); modulePrinter.println( segment.getName() + " @ " + addr + ": " + what + " on line " + where.getLeftMostToken().beginLine); }