ChipKit uC32

Isn't there some kind of 16 bit mode (MIPS16e) in the pic32?

--- bill