ImmT array0push(ImmT * ___ref___0,ImmT ___nl__1) { c_rt_lib0arg_val(___nl__1); #line 49 c_rt_lib0delete(c_std_lib0array_push(___ref___0, ___nl__1)); #line 49 c_rt_lib0clear(&___nl__1); #line 49 return NULL; }
ImmT array0push(ImmT * ___ref___0,ImmT ___nl__1) { c_rt_lib0arg_val(___nl__1); array_priv0__const__init(); #line 23 c_rt_lib0delete(c_std_lib0array_push(___ref___0, ___nl__1)); #line 23 c_rt_lib0clear(&___nl__1); #line 23 return NULL; }