push_value         55 eval.c             push_value(inter, &v);
push_value         65 eval.c             push_value(inter, &v);
push_value         75 eval.c             push_value(inter, &v);
push_value         85 eval.c             push_value(inter, &v);
push_value         95 eval.c             push_value(inter, &v);
push_value        119 eval.c             push_value(inter, &v);
push_value        513 eval.c             push_value(inter, &result);
push_value        545 eval.c             push_value(inter, &result);
push_value        603 eval.c             push_value(inter, &value);
push_value        648 eval.c              push_value(inter, &value);
push_value        753 eval.c             push_value(inter, &result);
push_value        777 eval.c             push_value(inter, &v);
push_value        788 eval.c             push_value(inter, left);
push_value        815 eval.c             push_value(inter, &result);
push_value        899 eval.c             push_value(inter, value);