5.4 案例：基于源代码生成模块的符号文件