请根据C11标准的文法集对代码“ int main() { printf("Hello world!\n"); return 0; } ”进行文法推导

以下是“ int main() { printf("Hello world!\n"); return 0; } ”的文法推导过程：

程序 -> 函数
函数 -> 类型说明符 函数名 ( ) 复合语句
类型说明符 -> int
函数名 -> main
复合语句 -> { 语句 }
语句 -> 表达式语句
表达式语句 -> 表达式 ;
表达式 -> 函数调用表达式
函数调用表达式 -> 标识符 ( )
标识符 -> printf
字符串常量 -> "Hello world!\n"
返回语句 -> return 常量 ;
常量 -> 0