Handle I_PUSH_INT2 in i_line1().