void
main(){
    printf(LOAD_MSG);
	init_expbd_servos(1);
	*SERVO = SERVO_RESET_POSITION;
	startPID = start_process(watchStart());
	stopPID = start_process(watchStop());
	*SERVO = SERVO_RESET_POSITION;
}