到达字符串的末尾等同于达到文件结束条件fwscanf 4-6)同(1-3),所不同的是%c,%s和%[转换说明每个期望两个参数(通常的指针和类型的值rsize_t指示所述接收阵列的大小,其可以是1附有%
init过关binary_op... 4-6%29与%281-3%29相同,但根据policy。
debug_opt()|hibernate_after_opt()], State::state(), Data::data())-> no_return() 与使用Actions=[]的enter_loop/6相同,