#include <stdint.h>
typedef struct {volatile uint32_t MODER,OTYPER,PUPDR,BSRR,IDR;} gpio;
typedef struct {volatile uint32_t CFGR,IOPENR,APBENR2;} rcc;
typedef struct {volatile uint32_t CR1,DIER,CCER,PSC,ARR,CNT,EGR,SR;} timer;
extern gpio mock_gpio;extern rcc mock_rcc;extern timer mock_tim;extern uint32_t SystemCoreClock;
#define GPIOA (&mock_gpio)
#define RCC (&mock_rcc)
#define TIM14 (&mock_tim)
#define RCC_CFGR_HPRE (15u<<8)
#define RCC_CFGR_PPRE (7u<<12)
#define RCC_IOPENR_GPIOAEN 1u
#define RCC_APBENR2_TIM14EN (1u<<15)
#define TIM_EGR_UG 1u
#define TIM_CR1_CEN 1u
