void OPPROTO op_srli_T1 (void)

{

    T1 = T1 >> PARAM1;

    RETURN();

}

void OPPROTO op_srli_T1 (void)

{

    T1 = T1 >> PARAM1;

    RETURN();

}

    RETURN();     T1 = T1 >> PARAM1;     RETURN();
void VAR_0 op_srli_T1 (void)

{

    T1 = T1 >> PARAM1;

    RETURN();

}

void VAR_0 op_srli_T1 (void)
{ T1 = T1 >> PARAM1; RETURN(); }