void OPPROTO op_srl_T0_T1 (void)

{

    T0 = T0 >> T1;

    RETURN();

}

void OPPROTO op_srl_T0_T1 (void)

{

    T0 = T0 >> T1;

    RETURN();

}

    RETURN();     T0 = T0 >> T1;     RETURN();
void VAR_0 op_srl_T0_T1 (void)

{

    T0 = T0 >> T1;

    RETURN();

}

void VAR_0 op_srl_T0_T1 (void)
{ T0 = T0 >> T1; RETURN(); }