void main(void)
{
ANSELBbits.ANSB3 = 0 ;       // set RB3 as digital
LATBbits.LATB3 = 0 ;        // set output latch to known value
TRISBbits.TRISB3 = 0 ;       //  make RB3 an output pin
LATBbits.LATB3 = 1 ;       // set RB3 high
while(1);
}