寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。

「：文言：以定值验诸序，正负界皆具。汉语：固定期望表独立于被测解释器，覆盖零、相等、符号位及两端边界。：」
「比较用例」即
  「网页指令」
  合（「列」于「整数」）
  合「整数」
也。

「比较用例们」乃「列」于「比较用例」也。
「比较用例们」者
  「列」【
    「网页为零」与（「列」【「零」】）与「一」，
    「网页为零」与（「列」【（「减」于「零」于「一」）】）与「零」，
    「网页为零」与（「列」【「零」】）与「一」，
    「网页为零」与（「列」【（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页为零」与（「列」【「二一四七四八三六四七」】）与「零」，
    「网页为零」与（「列」【「一」】）与「零」，
    「网页为零」与（「列」【「二一四七四八三六四七」】）与「零」，
    「网页相等」与（「列」【「零」，「零」】）与「一」，
    「网页相等」与（「列」【（「减」于「零」于「一」），「零」】）与「零」，
    「网页相等」与（「列」【「零」，（「减」于「零」于「一」）】）与「零」，
    「网页相等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「零」，
    「网页相等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页相等」与（「列」【「一」，「一」】）与「一」，
    「网页相等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「零」，
    「网页不等」与（「列」【「零」，「零」】）与「零」，
    「网页不等」与（「列」【（「减」于「零」于「一」），「零」】）与「一」，
    「网页不等」与（「列」【「零」，（「减」于「零」于「一」）】）与「一」，
    「网页不等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「一」，
    「网页不等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「一」，
    「网页不等」与（「列」【「一」，「一」】）与「零」，
    「网页不等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「一」，
    「网页有符号小于」与（「列」【「零」，「零」】）与「零」，
    「网页有符号小于」与（「列」【（「减」于「零」于「一」），「零」】）与「一」，
    「网页有符号小于」与（「列」【「零」，（「减」于「零」于「一」）】）与「零」，
    「网页有符号小于」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「一」，
    「网页有符号小于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页有符号小于」与（「列」【「一」，「一」】）与「零」，
    「网页有符号小于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「零」，
    「网页无符号小于」与（「列」【「零」，「零」】）与「零」，
    「网页无符号小于」与（「列」【（「减」于「零」于「一」），「零」】）与「零」，
    「网页无符号小于」与（「列」【「零」，（「减」于「零」于「一」）】）与「一」，
    「网页无符号小于」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「零」，
    「网页无符号小于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「一」，
    「网页无符号小于」与（「列」【「一」，「一」】）与「零」，
    「网页无符号小于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「一」，
    「网页有符号大于」与（「列」【「零」，「零」】）与「零」，
    「网页有符号大于」与（「列」【（「减」于「零」于「一」），「零」】）与「零」，
    「网页有符号大于」与（「列」【「零」，（「减」于「零」于「一」）】）与「一」，
    「网页有符号大于」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「零」，
    「网页有符号大于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「一」，
    「网页有符号大于」与（「列」【「一」，「一」】）与「零」，
    「网页有符号大于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「一」，
    「网页无符号大于」与（「列」【「零」，「零」】）与「零」，
    「网页无符号大于」与（「列」【（「减」于「零」于「一」），「零」】）与「一」，
    「网页无符号大于」与（「列」【「零」，（「减」于「零」于「一」）】）与「零」，
    「网页无符号大于」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「一」，
    「网页无符号大于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页无符号大于」与（「列」【「一」，「一」】）与「零」，
    「网页无符号大于」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「零」，
    「网页有符号小等」与（「列」【「零」，「零」】）与「一」，
    「网页有符号小等」与（「列」【（「减」于「零」于「一」），「零」】）与「一」，
    「网页有符号小等」与（「列」【「零」，（「减」于「零」于「一」）】）与「零」，
    「网页有符号小等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「一」，
    「网页有符号小等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页有符号小等」与（「列」【「一」，「一」】）与「一」，
    「网页有符号小等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「零」，
    「网页无符号小等」与（「列」【「零」，「零」】）与「一」，
    「网页无符号小等」与（「列」【（「减」于「零」于「一」），「零」】）与「零」，
    「网页无符号小等」与（「列」【「零」，（「减」于「零」于「一」）】）与「一」，
    「网页无符号小等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「零」，
    「网页无符号小等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「一」，
    「网页无符号小等」与（「列」【「一」，「一」】）与「一」，
    「网页无符号小等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「一」，
    「网页有符号大等」与（「列」【「零」，「零」】）与「一」，
    「网页有符号大等」与（「列」【（「减」于「零」于「一」），「零」】）与「零」，
    「网页有符号大等」与（「列」【「零」，（「减」于「零」于「一」）】）与「一」，
    「网页有符号大等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「零」，
    「网页有符号大等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「一」，
    「网页有符号大等」与（「列」【「一」，「一」】）与「一」，
    「网页有符号大等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「一」，
    「网页无符号大等」与（「列」【「零」，「零」】）与「一」，
    「网页无符号大等」与（「列」【（「减」于「零」于「一」），「零」】）与「一」，
    「网页无符号大等」与（「列」【「零」，（「减」于「零」于「一」）】）与「零」，
    「网页无符号大等」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」】）与「一」，
    「网页无符号大等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「二一四七四八三六四八」）】）与「零」，
    「网页无符号大等」与（「列」【「一」，「一」】）与「一」，
    「网页无符号大等」与（「列」【「二一四七四八三六四七」，（「减」于「零」于「一」）】）与「零」，
    「网页选择」与（「列」【「四二」，「七」，「零」】）与「七」，
    「网页选择」与（「列」【「四二」，「七」，「一」】）与「四二」，
    「网页选择」与（「列」【「四二」，「七」，（「减」于「零」于「一」）】）与「四二」，
    「网页选择」与（「列」【「四二」，「七」，「二」】）与「四二」，
    「网页选择」与（「列」【「四二」，「七」，（「减」于「零」于「二一四七四八三六四八」）】）与「四二」，
    「网页选择」与（「列」【（「减」于「零」于「二一四七四八三六四八」），「二一四七四八三六四七」，「零」】）
      与「二一四七四八三六四七」，
      「网页选择」
        与（「列」【
          （「减」于「零」于「二一四七四八三六四八」），
          「二一四七四八三六四七」，
          （「减」于「零」于「一」）
        】）与（「减」于「零」于「二一四七四八三六四八」），
        「网页选择」与（「列」【「零」，（「减」于「零」于「一」），「零」】）与（「减」于「零」于「一」），
        「网页选择」与（「列」【「零」，（「减」于「零」于「一」），「一」】）与「零」
  】
也。

「比较用例指令」乃化「比较用例」而（「列」于「网页指令」）也。
「比较用例指令」者会「例」而
  「附加」授以「网页指令」
    于（「态射」授以「整数」授以「网页指令」于（「例」中「一」）于「网页常量」）
    于（「列」【「例」中「零」】）
也。
