emit_make_fixnum 3802 src/comp.c     				     emit_make_fixnum (inline_res));
emit_make_fixnum 3877 src/comp.c     				 emit_make_fixnum (inline_res));