标签: 内置断言模块