public void dumpSource(TabbedPrintWriter writer) throws java.io.IOException {
		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_LOCALS) != 0) {
			if (declare != null)
				writer.println("declaring: " + declare);
			if (done != null)
				writer.println("done: " + done);
			writer.println("using: " + used);
		}

		if (declare != null) {
			Iterator iter = declare.iterator();
			while (iter.hasNext()) {
				Declarable decl = (Declarable) iter.next();
				decl.dumpDeclaration(writer);
				writer.println(";");
			}
		}
		dumpInstruction(writer);

		if (jump != null)
			jump.dumpSource(writer);
	}