Appel's SML/NJ, Rabbit, CertiCoq
char *prop = buf + hdr.properties_off;
，更多细节参见WPS官方版本下载
Author(s): Xiongwei He, Fan-Shun Meng, Yanjing Su, Lijie Qiao, Shigenobu Ogata, Lei Gao，详情可参考safew官方版本下载
"This Lifetime Achievement Award recognises a remarkable legacy built on originality and enduring influence, that continues to connect with fans worldwide."，更多细节参见safew官方下载
第二股，“获美以情报机关长期支持”