#ifndef HAL1_H
#define HAL1_H

// Configurable constants

int const MAIN_MOTOR_PWM_TOP = 255;
int const MAIN_MOTOR_BRAKE_SPEED = 120;
int const MAIN_MOTOR_MIN_SPEED = 150;
int const MAIN_MOTOR_MED_SPEED = 254;
int const MAIN_MOTOR_MAX_SPEED = 255;
int const MAGNET_OPEN_WAIT = 5;		// 10ths of a second

void init(void);

void main_motor_stop();
void main_motor_cw_open(uint8_t speed);
void main_motor_ccw_close(uint8_t speed);
void set_main_motor_speed(int speed);
int get_main_motor_speed();
void aux_motor_stop();
void aux_motor_cw_close();
void aux_motor_ccw_open();
void magnet_off();
void magnet_on();
bool door_nearly_open();
bool door_fully_open();
bool door_fully_closed();

bool sensor_proximity();
bool button_openclose();
bool button_stop();
bool main_encoder();
bool aux_outdoor_limit();
bool aux_indoor_limit();
bool door_nearly_closed();
bool aux_encoder();

#endif

// Configurable constants

int const MAIN_MOTOR_PWM_TOP = 255;
int const MAIN_MOTOR_BRAKE_SPEED = 120;
int const MAIN_MOTOR_MIN_SPEED = 150;
int const MAIN_MOTOR_MED_SPEED = 254;
int const MAIN_MOTOR_MAX_SPEED = 255;
int const MAGNET_OPEN_WAIT = 5;		// 10ths of a second

void init(void);

--- 
+++ 
@@ -1,3 +1,6 @@
+#ifndef HAL1_H
+#define HAL1_H
+
 // Configurable constants
 
 int const MAIN_MOTOR_PWM_TOP = 255;
@@ -8,3 +11,28 @@
 int const MAGNET_OPEN_WAIT = 5;		// 10ths of a second
 
 void init(void);
+
+void main_motor_stop();
+void main_motor_cw_open(uint8_t speed);
+void main_motor_ccw_close(uint8_t speed);
+void set_main_motor_speed(int speed);
+int get_main_motor_speed();
+void aux_motor_stop();
+void aux_motor_cw_close();
+void aux_motor_ccw_open();
+void magnet_off();
+void magnet_on();
+bool door_nearly_open();
+bool door_fully_open();
+bool door_fully_closed();
+
+bool sensor_proximity();
+bool button_openclose();
+bool button_stop();
+bool main_encoder();
+bool aux_outdoor_limit();
+bool aux_indoor_limit();
+bool door_nearly_closed();
+bool aux_encoder();
+
+#endif
Add function prototypes and ifndef wrapper
