#define OUT1_2 IOPORT_D,BIT_1
#define OUT3_4 IOPORT_D,BIT_2
#define IN1_2 IOPORT_D,BIT_9
#define IN3_4 IOPORT_D,BIT_10
#define TEST_OUT IOPORT_E,BIT_0
#define ARM IOPORT_E,BIT_1
#define HANDBRAKE IOPORT_E,BIT_2
#define CLUTCH IOPORT_E,BIT_3
#define LIGHT_RED IOPORT_E,BIT_4
#define LIGHT_GREEN IOPORT_E,BIT_5
#define SWITCH_OVER IOPORT_E,BIT_7
#define ARMLED IOPORT_B,BIT_12 //Bit name defined here for RB12
#define LIMITLED IOPORT_B,BIT_15

void main(void) {
SYSTEMConfig( FCY, SYS_CFG_WAIT_STATES | SYS_CFG_PCACHE);
INTConfigureSystem(INT_SYSTEM_CONFIG_MULT_VECTOR);
DDPCON = 0; //disable JTAG
PMCON = 0; //Disable PMP
AD1PCFG = 0xFFFF; //set all I/O to digital
AD1CON1 = 0; //Ensure A/D off
CM1CON = 0;
CM2CON = 0; //make sure comparators off
PORTSetPinsDigitalOut(OUT1_2);
PORTSetPinsDigitalOut(OUT3_4);
PORTSetPinsDigitalOut(SWITCH_OVER);
PORTSetPinsDigitalOut(TEST_OUT);
PORTSetPinsDigitalOut(ARMLED); //this line should set the RB12 output
PORTSetPinsDigitalOut(LIMITLED);
PORTSetPinsDigitalOut(LIGHT_RED);
PORTSetPinsDigitalOut(LIGHT_GREEN);
PORTSetPinsDigitalIn(IN1_2);
PORTSetPinsDigitalIn(IN3_4);
PORTSetPinsDigitalIn(ARM);
PORTSetPinsDigitalIn(HANDBRAKE);
PORTSetPinsDigitalIn(CLUTCH);
PORTClearBits(LIGHT_RED);
PORTClearBits(LIGHT_GREEN);
PORTClearBits(ARMLED); //and this line should make it go low
PORTClearBits(LIMITLED);
PORTClearBits(OUT1_2);
PORTClearBits(OUT3_4);
PORTClearBits(SWITCH_OVER);
PORTClearBits(TEST_OUT);
while(1);
//But even if I freeze the program here, RB12 does not want to play!

#define BIT_12 (1 << 12)

typedef enum {
#ifdef _PORTA
IOPORT_A,
#endif
#ifdef _PORTB
IOPORT_B,
#endif
#ifdef _PORTC
IOPORT_C,
#endif
#ifdef _PORTD
IOPORT_D,
#endif
#ifdef _PORTE
IOPORT_E,
#endif
#ifdef _PORTF
IOPORT_F,
#endif
#ifdef _PORTG
IOPORT_G,
#endif
IOPORT_NUM
}IoPortId;

#include <p32xxxx.h>
#include <plib.h>
#include <xc.h>
#include <stdio.h>
#include <string.h>
#include <float.h>
#include <math.h>

#pragma config POSCMOD=XT, FNOSC=PRIPLL, DEBUG=OFF
#pragma config FPLLIDIV=DIV_2, FPLLMUL=MUL_20, FPLLODIV=DIV_1
#pragma config FPBDIV=DIV_2, FWDTEN=OFF, CP=OFF, BWP=OFF, ICESEL=ICS_PGx1