#ifndef __BUTTON_H__
#define __BUTTON_H__

#include <stdbool.h>
#include "stm32f4xx.h"

void InitializeUserButton();
void EnableUserButtonInterrupt();

static inline bool UserButtonState() {
  return GPIOA->IDR & 0x01;
}

#endif

