new_entity(get_glob_type(),new_id_from_chars("VAR_B",6),prim_t_int));
/* set VAR_A and VAR_B to constant values */
set_store (new_Proj (new_Store (get_store (), a,
new_entity(get_glob_type(),new_id_from_chars("VAR_B",6),prim_t_int));
/* set VAR_A and VAR_B to constant values */
set_store (new_Proj (new_Store (get_store (), a,