#include <stm32f7xx.h>
unsigned int i = 0x12345678;
unsigned char c = 2;
int main(void) {
while(1) {
i++;
}