void encode_imm(int opc, int sz, expr_t exp);
void branch(register int opc,expr_t exp);