int main(void)
{
    char str[] = "Hello world!";
    printf("%s\r\n", str);
    return 0;
}