int main() {
	volatile char* portb=(volatile char*)0x1004;
	volatile char* portc=(volatile char*)0x1003;
	while(1) {
		*portb = *portc; /* copy switches to leds */
	}
	return 0;
}