push_value         66 eval.c             push_value(inter, &v);
push_value         76 eval.c             push_value(inter, &v);
push_value         86 eval.c             push_value(inter, &v);
push_value         96 eval.c             push_value(inter, &v);
push_value        106 eval.c             push_value(inter, &v);
push_value        137 eval.c         	push_value(inter, vp);
push_value        143 eval.c         	push_value(inter, vp);
push_value        153 eval.c         	push_value(inter, &v);
push_value        732 eval.c             push_value(inter, &result);
push_value        780 eval.c             push_value(inter, &result);
push_value        905 eval.c             push_value(inter, &value);
push_value        927 eval.c             push_value(inter, &value);
push_value       1115 eval.c             push_value(inter, &result);
push_value       1156 eval.c             push_value(inter, &value);
push_value       1224 eval.c             push_value(inter, &return_value);
push_value       1247 eval.c         	push_value(inter, v);
push_value       1254 eval.c         	push_value(inter, &v);
push_value       1283 eval.c             push_value(inter, &v);
push_value       1294 eval.c             push_value(inter, left);
push_value       1327 eval.c             push_value(inter, &result);
push_value       1344 eval.c             push_value(inter, &result);
push_value       1439 eval.c             push_value(inter, value);