#include <mc9s12dp512.h>
void main(void)
  {
    unsigned char x;
    DDRA = DDRA & 0x7F;		
    DDRB = 0xFF;				
    DDRK = 0xFF;
    while(1)
      {
	   x = PORTA & 0x80;	
        if(x == 0x80)
          PORTB = 0x55;
        else
          PORTK = 0xAA;
      }  
  }