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        107 eval.c             push_value(inter, &v);
push_value        117 eval.c             push_value(inter, &v);
push_value        150 eval.c         	push_value(inter, vp);
push_value        157 eval.c         	push_value(inter, vp);
push_value        167 eval.c         	push_value(inter, &v);
push_value        784 eval.c             push_value(inter, &result);
push_value        832 eval.c             push_value(inter, &result);
push_value        975 eval.c             push_value(inter, &value);
push_value        997 eval.c             push_value(inter, &value);
push_value       1207 eval.c             push_value(inter, &result);
push_value       1290 eval.c             push_value(inter, &return_value);
push_value       1350 eval.c         	push_value(inter, &args[i]);
push_value       1376 eval.c         	push_value(inter, &args[i]);
push_value       1502 eval.c             push_value(inter, &func);
push_value       1532 eval.c         	push_value(inter, v);
push_value       1539 eval.c         	push_value(inter, &v);
push_value       1562 eval.c             push_value(inter, &v);
push_value       1578 eval.c             push_value(inter, left);
push_value       1611 eval.c             push_value(inter, &result);
push_value       1628 eval.c             push_value(inter, &result);
push_value       1734 eval.c             push_value(inter, value);