#include <stdint.h>

static uint32_t ticks = 0;

void delay(uint32_t count)
{
	uint32_t target = ticks + count;
	while (ticks < target);
}

void NMI_Handler(void) {}

void HardFault_Handler(void)
{
  while (1);
}

void MemManage_Handler(void)
{
  while (1);
}

void BusFault_Handler(void)
{
  while (1);
}

void UsageFault_Handler(void)
{
  while (1);
}

void SVC_Handler(void) {}

void DebugMon_Handler(void) {}

void PendSV_Handler(void) {}

void SysTick_Handler(void)
{
  ticks++;
}