public void dumpInstruction(TabbedPrintWriter writer)
			throws java.io.IOException {
		writer.print("return");
		if (instr != null) {
			writer.print(" ");
			instr.dumpExpression(writer.IMPL_PAREN, writer);
		}
		writer.println(";");
	}