寻观「标准库」之书。

「甲型」立「元类型」也。
「乙型」立「元类型」也。

「甲空」立「甲型」也。
「乙空」立「乙型」也。
「甲实」立化「整数」而「甲型」也。
「乙实」立化「整数」而「乙型」也。

「丙型」立化「元类型」而化「元类型」而「元类型」也。
「丙左」立（承「甲」而承「乙」而化「甲」而「丙型」于「甲」于「乙」）也。
「丙右」立（承「甲」而承「乙」而化「乙」而「丙型」于「甲」于「乙」）也。

「读甲」乃化「甲型」而「整数」也。
「读甲」者会「值」而鉴「值」而
    有「甲空」则「零」
    或有「甲实」于「数」则「数」
也。

「读乙」乃化「乙型」而「整数」也。
「读乙」者会「值」而鉴「值」而
    有「乙空」则「零」
    或有「乙实」于「数」则「数」
也。

「打印行」于（「整数表示」于（「读甲」于「甲空」））。
「打印行」于（「整数表示」于（「读甲」于（「甲实」于「一」）））。
「打印行」于（「整数表示」于（「读乙」于「乙空」））。
「打印行」于（「整数表示」于（「读乙」于（「乙实」于「二」）））。
