#include <stdint.h>
#include <stdbool.h>                                                                                                   #include <stm32f1xx.h>                                                                                                 
#include <stm32f1xx.h>

void main(void) {
  RCC->APB2ENR |= RCC_APB2ENR_IOPCEN; // Enable GPIOC Clock
  GPIOC->CRH |= GPIO_CRH_MODE13;
  while(0) {
    GPIOC->ODR ^= GPIO_ODR_ODR13;
    for (uint32_t i = 0; i < 400000; i++);
      __asm__ volatile("nop");
    GPIOC->ODR ^= GPIO_ODR_ODR13;
    for (uint32_t i = 0; i < 400000; i++);
      __asm__ volatile("nop");
    }
}