expand_less

结果'coq'

5 模板可用。