public void visitAddressStoreStmt(final AddressStoreStmt stmt) {
		print("La");

		if (stmt.sub() != null) {
			print(new Integer(stmt.sub().returnAddress().index()));
		} else {
			print("???");
		}

		println(" := returnAddress");
	}