hal文件。写博客的时候用到了这个东西,所以才上传。