FILE是在名为____的头文件中定义的用户自定义数据类型符。