#include "stm32f10x_conf.h"                  // Device header
#include "stdio.h" 
char *P   __attribute__((used)) = "Hello world!  Hello world!";
int main(void)
{   
    __nop();
    __nop();
    __nop();
    __nop();
    //printf(P);
    while(1)
    {
        __nop();
        __nop();
        __nop();
    }
}