#include "registers.h"
#undef GPIOC
#undef SYSCFG
#undef GPIOA
#undef GPIOB
#undef RCC
#undef I2C1
extern GPIO_TypeDef c;extern SYSCFG_TypeDef s;extern GPIO_TypeDef a;extern GPIO_TypeDef b;extern RCC_TypeDef r;extern I2C_TypeDef i;
#define GPIOC (&c)
#define SYSCFG (&s)
#define GPIOA (&a)
#define GPIOB (&b)
#define RCC (&r)
#define I2C1 (&i)
#define __DSB() ((void)0)
