set_store (new_Proj (x, mode_M, 0));
x = new_Proj(x, mode_Iu, 2);
/* the same again: load the value and make it's effects visible. */
set_store (new_Proj (x, mode_M, 0));
x = new_Proj(x, mode_Iu, 2);
/* the same again: load the value and make it's effects visible. */