public void visitInitStmt(final InitStmt stmt) {
		print("INIT");

		final LocalExpr[] t = stmt.targets();

		if (t != null) {
			for (int i = 0; i < t.length; i++) {
				if (t[i] != null) {
					print(" ");
					t[i].visit(this);
				}
			}
		}

		println();
	}