pic33f_six( 0x00, 0x0000 ); // nop
pic33f_six( 0x20, 0x0800 ); // mov #0x80, W0
pic33f_six( 0x88, 0x0190 ); // mov W0, TBLPAG
pic33f_six( 0x00, 0x0000 ); // nop
pic33f_six( 0x20, 0x0800 ); // mov #0x80, W0
pic33f_six( 0x88, 0x0190 ); // mov W0, TBLPAG