d = new_Proj(d, mode_Is, pn_Div_res);
set_value(3, d); /* this (3) is variable d */
/* return d */
d = get_value(3, mode_Is);
x = new_Return (get_store(), 1, &d);
d = new_Proj(d, mode_Is, pn_Div_res);
set_value(3, d); /* this (3) is variable d */
/* return d */
d = get_value(3, mode_Is);
x = new_Return (get_store(), 1, &d);