portc3_int/32b
