#include "the50.h"
#define THE50_LED_PIN B7
void the50_led_on(void) {
gpio_set_pin_output(THE50_LED_PIN);
gpio_write_pin_low(THE50_LED_PIN);
}
void the50_led_off(void) {
gpio_set_pin_input(THE50_LED_PIN);