emit_make_fixnum 3804 src/comp.c     				     emit_make_fixnum (inline_res));
emit_make_fixnum 3879 src/comp.c     				 emit_make_fixnum (inline_res));