PanLinx
普通话
cmn-000
断言检查程序
English
eng-000
assertion checker
PanLex
