寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。

「：文言：客体之堆：分配、位图、标记清扫。汉语：GC 堆：分配、位图、保守标记清扫。对象头 8 字节 [字0：类型号（低 16 位）| 实例号（第 16–23 位）| 种类<<24 | 标记位（bit31）；字1：总字节数]。结构体：头 + 每字段 8 字节；数组：头 + [长度 4][填充 4] + 元素（按元素宽度）；空闲块：种类 3，+8 存下一块。：」

「：文言：位图：每八字节堆一位，记对象起始。汉语：对象起始位图：按堆内 8 字节粒度记录哪些地址是对象头，供保守标记辨认真指针。：」
「位图字节址」乃化「整数」而「整数」也。
「位图字节址」者会「址」而
  「加」于（「读四」于「状态_位图基」）于（「无符号右移」于（「减」于「址」于（「读四」于「状态_堆基」））于「六」）
也。

「位图位」乃化「整数」而「整数」也。
「位图位」者会「址」而
  「位与」于（「无符号右移」于（「减」于「址」于（「读四」于「状态_堆基」））于「三」）于「七」
也。

「位图置」乃化「整数」而「有」也。
「位图置」者会「址」而
  虑「格」者「位图字节址」于「址」而
  「写一」于「格」于（「位或」于（「读一」于「格」）于（「左移」于「一」于（「位图位」于「址」）））
也。

「位图清」乃化「整数」而「有」也。
「位图清」者会「址」而
  虑「格」者「位图字节址」于「址」而
  「写一」
    于「格」
    于（「位与」于（「读一」于「格」）于（「位异或」于（「左移」于「一」于（「位图位」于「址」））于「负一」））
也。

「位图取」乃化「整数」而「整数」也。
「位图取」者会「址」而
  「位与」于（「无符号右移」于（「读一」于（「位图字节址」于「址」））于（「位图位」于「址」））于「一」
也。

「：文言：堆之初与长。汉语：初始化堆（位图按最大内存估算：每 64 字节堆 1 字节位图）；尝试把堆限抬高至少 n 字节，成功返回 1。：」
「初始化堆」乃化「有」而「有」也。
「初始化堆」者会「无」而
  虑「页上限」者「读四」于「状态_页上限」而
  虑「内存上限」者「乘」于「页上限」于「页字节」而
  虑「位图起」者
    「位与」于（「加」于（「读四」于「状态_区域顶」）于「四零九五」）
    于（「减」于「零」于「四零九六」）而
    虑「位图大小」者
      「加」于（「无符号右移」于（「减」于「内存上限」于「位图起」）于「六」）于「六四」而
      虑「无」者（「写四」于「状态_位图基」于「位图起」）而
      虑「无」者（「写四」于「状态_位图字节」于「位图大小」）而
      虑「堆起」者
        「位与」
          于（「加」于（「加」于「位图起」于「位图大小」）于「四零九五」）
          于（「减」于「零」于「四零九六」）而
          虑「无」者（「写四」于「状态_区域顶」于「堆起」）而
          虑「无」者（「写四」于「状态_堆基」于「堆起」）而
          虑「无」者（「写四」于「状态_堆顶」于「堆起」）而
          虑「初限」者「加」于「堆起」于「初始堆字节」而
          虑「顶限」者
            「选择」
              于（「无符号大于」于「初限」于「内存上限」）
              于「内存上限」于「初限」而
              虑「无」者（「增长到」于「顶限」）而
              虑「无」者（「写四」于「状态_堆限」于「顶限」）而
              虑「无」者
                （若「等零」于（「读四」于「状态_回收下限」）则「写四」于「状态_回收下限」于「回收下限」否则「元」）
              而
              虑「无」者
                （「写四」于「状态_回收阈」于（「读四」于「状态_回收下限」））
              而
              虑「无」者（「写四」于「状态_分配计」于「零」）
              而
              虑「无」者（「写四」于「状态_小类掩码」于「零」）而
              「写四」于「状态_回收禁」于「零」
也。

「增长堆」乃化「整数」而「整数」也。
「增长堆」者会「字节数」而
  虑「内存上限」者「乘」于（「读四」于「状态_页上限」）于「页字节」而
  虑「步」者
    「选择」
      于（「无符号大于」于「字节数」于「堆增量」）
      于（「位与」于（「加」于「字节数」于「六五五三五」）于（「减」于「零」于「六五五三六」））于「堆增量」而
      虑「想要限」者「加」于（「读四」于「状态_堆限」）于「步」而
      虑「新限」者
        「选择」于（「无符号大于」于「想要限」于「内存上限」）于「内存上限」于「想要限」而
      若「无符号小于」于「新限」于（「加」于（「读四」于「状态_堆顶」）于「字节数」）
      则
        「零」
      否则
        虑「需页」者
          「无符号除」于（「加」于「新限」于「六五五三五」）于「页字节」
        而
        虑「现页」者「内存页数」于「元」
        而
        虑「失败」者
          「且」
            于（「无符号大于」于「需页」于「现页」）
            于（「小于」于（「内存增长」于（「减」于「需页」于「现页」））于「零」）
        而
        若「失败」则
          「零」
        否则
          虑「无」者
            （「写四」于「状态_页数」于（「内存页数」于「元」））
          而
          虑「无」者（「写四」于「状态_堆限」于「新限」）而
          「一」
也。

「：文言：自由链表：小块按八字节分类，大块首次适应。汉语：自由链表：≤256 字节的小块按 8 字节分类各有链表头，大块放大自由表；取块时可分割。：」
「：文言：小类之位：类 k 之位为 k−1。汉语：小块类在掩码中的位：类 k（大小 8k）对应第 k−1 位；置位与清位。：」
「小类位」乃化「整数」而「整数」也。
「小类位」者会「类号」而
  「左移」于「一」于（「减」于「类号」于「一」）
也。

「小类置非空」乃化「整数」而「有」也。
「小类置非空」者会「类号」而
  「写四」于「状态_小类掩码」于（「位或」于（「读四」于「状态_小类掩码」）于（「小类位」于「类号」））
也。

「小类置空」乃化「整数」而「有」也。
「小类置空」者会「类号」而
  「写四」于「状态_小类掩码」于（「位与」于（「读四」于「状态_小类掩码」）于（「位非」于（「小类位」于「类号」）））
也。

「放回空闲」乃化「整数」而化「整数」而「有」也。
「放回空闲」者会「址」而会「字节数」而
  虑「无」者（「写四」于「址」于（「左移」于「种类空闲」于「二四」））而
  虑「无」者（「写字段」于「址」于「四」于「字节数」）而
  若「有符号小等」于「字节数」于「小块上限」
  则
    虑「类」者
      「加」于「状态_自由表」于（「乘」于（「无符号右移」于「字节数」于「三」）于「四」）而
      虑「无」者（「写字段」于「址」于「八」于（「读四」于「类」））而
      虑「无」者「小类置非空」于（「无符号右移」于「字节数」于「三」）而
      「写四」于「类」于「址」
  否则
    虑「无」者
      （「写字段」于「址」于「八」于（「读四」于「状态_大自由」））
    而
    「写四」于「状态_大自由」于「址」
也。

「取小类精确」乃化「整数」而「整数」也。
「取小类精确」者会「字节数」而
  虑「类」者
    「加」于「状态_自由表」于（「乘」于（「无符号右移」于「字节数」于「三」）于「四」）而
    虑「址」者「读四」于「类」而
    若「等零」于「址」则「零」
    否则
      虑「后」者「读字段」于「址」于「八」
      而
      虑「无」者「写四」于「类」于「后」
      而
      虑「无」者
        （若「等零」于「后」则「小类置空」于（「无符号右移」于「字节数」于「三」）否则「元」）
      而
      「址」
也。

「取小类分割」乃化「整数」而化「整数」而「整数」也。
「取小类分割」者会「字节数」而
  会「起」而
    递归虑「逐」其化「整数」而「整数」者会「大」而
      若「有符号小等」于「大」于「小块上限」
      则
        虑「类」者
          「加」
            于「状态_自由表」
            于（「乘」于（「无符号右移」于「大」于「三」）于「四」）
        而
        虑「址」者「读四」于「类」而
        若「不等于」于「址」于「零」
        则
          （（「写四」于「类」于（「读字段」于「址」于「八」））；
            （若「等零」于（「读四」于「类」）则「小类置空」于（「无符号右移」于「大」于「三」）否则「元」）；
            （「放回空闲」于（「加」于「址」于「字节数」）于（「减」于「大」于「字节数」））；
            （「写字段」于「址」于「四」于「字节数」）；
            「址」）
        否则
          「逐」于（「加」于「大」于「八」）
      否则
        「零」
    而
    若「等零」于（「无符号右移」
      于（「读四」于「状态_小类掩码」）
      于（「减」于（「无符号右移」于「起」于「三」）于「一」））则
      「零」
    否则
      「逐」于「起」
也。

「取大块」乃化「整数」而「整数」也。
「取大块」者会「字节数」而
  递归虑「逐」其化「整数」而化「整数」而「整数」者会「前」而会「址」而
    若「等零」于「址」则「零」
    否则
      虑「大」者「读字段」于「址」于「四」
      而
      若「无符号大等」于「大」于「字节数」
      则
        虑「无」者
          （
            若「不等于」于「前」于「零」则
              「写字段」于「前」于「八」于（「读字段」于「址」于「八」）
            否则
              「写四」于「状态_大自由」于（「读字段」于「址」于「八」）
          ）
        而
        虑「余」者「减」于「大」于「字节数」
        而
        虑「无」者
          （
            若「有符号大等」于「余」于「一六」
            则
              （（「放回空闲」于（「加」于「址」于「字节数」）于「余」）；
                （「写字段」于「址」于「四」于「字节数」））
            否则
              「写字段」于「址」于「四」于「大」
          ）
        而
        「址」
      否则
        「逐」于「址」于（「读字段」于「址」于「八」）
  而
  「逐」于「零」于（「读四」于「状态_大自由」）
也。

「取空闲」乃化「整数」而「整数」也。
「：文言：取空闲：小者先取同类；同类空而堆顶下尚有余地，则返零以令划出，免逐类而扫与遍历大链；余地不足乃分割大类或取大块。汉语：取空闲块：小块先取同类链表；同类为空而堆顶之下还有空间时返回 0，让调用者直接从堆顶划出（不必逐类扫描、也不必遍历大块链表）；空间不够时才分割更大的类或取大块。大块同样先用堆顶之下的空间。：」
「取空闲」者会「字节数」而
  若「无符号小等」于（「加」于（「读四」于「状态_堆顶」）于「字节数」）
  于（「读四」于「状态_堆限」）则
    （若「有符号小等」于「字节数」于「小块上限」则「取小类精确」于「字节数」否则「零」）
  否则若「有符号小等」于「字节数」于「小块上限」
  则
    虑「精确」者「取小类精确」于「字节数」而
    若「不等于」于「精确」于「零」则「精确」
    否则
      虑「分割」者
        「取小类分割」于「字节数」于（「加」于「字节数」于「一六」）
      而
      若「不等于」于「分割」于「零」则
        「分割」
      否则
        「取大块」于「字节数」
  否则
    「取大块」于「字节数」
也。

「划出」乃化「整数」而「整数」也。
「划出」者会「字节数」而
  虑「址」者「读四」于「状态_堆顶」而
  若「无符号大于」于（「加」于「址」于「字节数」）于（「读四」于「状态_堆限」）
  则
    「零」
  否则
    （（「写四」于「状态_堆顶」于（「加」于「址」于「字节数」））；
      「址」）
也。

「：文言：结构与数组之大小。汉语：结构体与数组对象的总字节数。：」
「结构字节」乃化「整数」而「整数」也。
「结构字节」者会「类型号」而
  「加」于「八」于（「乘」于（「读字段」于（「类型条」于「类型号」）于「类型条_甲」）于「八」）
也。

「数组字节」乃化「整数」而化「整数」而「整数」也。
「数组字节」者会「类型号」而会「长」而
  虑「宽」者「读字段」于（「类型条」于「类型号」）于「类型条_乙」而
  虑「无」者
    （「若则致命」
      于（「无符号大于」
        于「长」
        于（「无符号除」于「二六八四三五四五六」于（「选择」于（「大于」于「宽」于「零」）于「宽」于「一」）））
        于「一二零」
        于（「静态串」于『数组过大』））
  而
  「加」于「一六」于（「位与」于（「加」于（「乘」于「长」于「宽」）于「七」）于（「减」于「零」于「八」））
也。

「：文言：标记：保守扫描，标记栈溢出则线性重扫。汉语：保守标记：从根区扫描候选字，命中位图的对象入标记栈；标记栈溢出时线性重扫已标记对象。：」
「压标记栈」乃化「整数」而「有」也。
「压标记栈」者会「址」而
  虑「顶」者「读四」于「状态_标记栈顶」而
  若「无符号大等」于「顶」于（「读四」于「状态_标记栈限」）
  则
    「写四」于「状态_标记溢出」于「一」
  否则
    （（「写四」于「顶」于「址」）；
      （「写四」于「状态_标记栈顶」于（「加」于「顶」于「四」）））
也。

「对象种」乃化「整数」而「整数」也。
「对象种」者会「头」而
  「位与」于（「无符号右移」于「头」于「二四」）于「七」
也。

「标记候选」乃化「整数」而「有」也。
「标记候选」者会「字」而
  若「不等于」于（「位与」于「字」于「七」）于「零」则「元」
  否则
    （
      若「或者」
        于（「无符号小于」于「字」于（「读四」于「状态_堆基」））
        于（「无符号大等」于「字」于（「读四」于「状态_堆顶」））则「元」
      否则
        （
          若「等零」于（「位图取」于「字」）则「元」
          否则
            （
              若「不等于」
                于（「位与」于（「读四」于「字」）于「头标记」）于「零」则「元」
              否则
                （（「写四」于「字」于（「位或」于（「读四」于「字」）于「头标记」））；
                  （「压标记栈」于「字」））
            ）
        ）
    ）
也。

「标记槽们」乃化「整数」而化「整数」而「有」也。
「标记槽们」者会「起」而
  会「个数」而
    递归虑「逐」其化「整数」而「有」者会「位」而
      若「小于」于「位」于「个数」
      则
        （（「标记候选」于（「读四」于（「加」于「起」于（「乘」于「位」于「四」））））；
          「逐」于（「加」于「位」于「一」））
      否则
        「元」
    而
    「逐」于「零」
也。

「标记结构字段们」乃化「整数」而化「整数」而「有」也。
「标记结构字段们」者会「址」而会「条」而
  虑「数」者「读字段」于「条」于「类型条_甲」而
  虑「描述」者「读字段」于「条」于「类型条_编码起」而
  递归虑「逐」其化「整数」而「有」者会「位」而
    若「小于」于「位」于「数」
    则
      （（
          若「等」于（「读一」于（「加」于「描述」于「位」））于「二」
          则
            「标记候选」于（「读四」于（「加」于（「加」于「址」于「八」）于（「乘」于「位」于「八」）））
          否则
            「元」
        ）；
        「逐」于（「加」于「位」于「一」））
    否则
      「元」
  而
  「逐」于「零」
也。

「扫描对象」乃化「整数」而「有」也。
「扫描对象」者会「址」而
  虑「头」者「读四」于「址」而
  虑「无」者（「写四」于「状态_扫描中」于「址」）而
  虑「种」者「对象种」于「头」而
  虑「类型号」者「位与」于「头」于「六五五三五」而
  虑「实例」者「位与」于（「无符号右移」于「头」于「一六」）于「二五五」而
  虑「条」者「实例类型条」于「实例」于「类型号」而
  若「等」于「种」于「种类结构」
  则
    「标记结构字段们」于「址」于「条」
  否则
    （
      若「等」于「种」于「种类异常」
      则
        「标记槽们」于（「加」于「址」于「一六」）于（「乘」于（「读字段」于「址」于「一二」）于「二」）
      否则
        （
          若「且」
            于（「等」于「种」于「种类数组」）
            于（「等」于（「读字段」于「条」于「类型条_甲」）于「二」）
          则
            「标记槽们」
              于（「加」于「址」于「一六」）
              于（「读字段」于「址」于「八」）
          否则
            「元」
        ）
    ）
也。

「排空标记栈」乃化「有」而「有」也。
「排空标记栈」者会「无」而
  递归虑「逐」其化「有」而「有」者会「无」而
    若「无符号大于」于（「读四」于「状态_标记栈顶」）于（「读四」于「状态_标记栈基」）
    则
      虑「顶」者「减」于（「读四」于「状态_标记栈顶」）于「四」而
      虑「无」者（「写四」于「状态_标记栈顶」于「顶」）而
      虑「无」者（「扫描对象」于（「读四」于「顶」））而
      「逐」于「元」
    否则
      「元」
  而
  「逐」于「元」
也。

「重扫已标记对象」乃化「有」而「有」也。
「重扫已标记对象」者会「无」而
  递归虑「逐」其化「整数」而「有」者会「址」而
    若「无符号小于」于「址」于（「读四」于「状态_堆顶」）
    则
      虑「头」者「读四」于「址」而
      虑「无」者
        （
          若「且」
            于（「不等于」于（「位与」于「头」于「头标记」）于「零」）
            于（「不等于」于（「对象种」于「头」）于「种类空闲」）
          则
            「扫描对象」于「址」
          否则
            「元」
        ）
      而
      「逐」于（「加」于「址」于（「读字段」于「址」于「四」））
    否则
      「元」
  而
  「逐」于（「读四」于「状态_堆基」）
也。

「清空标记栈」乃化「有」而「有」也。
「清空标记栈」者会「无」而
  递归虑「逐」其化「有」而「有」者会「无」而
  虑「无」者「排空标记栈」于「元」而
  若「等零」于（「读四」于「状态_标记溢出」）
  则
    「元」
  否则
    （（「写四」于「状态_标记溢出」于「零」）；
      （「重扫已标记对象」于「元」）；
      「逐」于「元」）
  而
  「逐」于「元」
也。

「标记根区」乃化「整数」而化「整数」而化「整数」而「有」也。
「标记根区」者会「起」而
  会「止」而
    会「步」而
      递归虑「逐」其化「整数」而「有」者会「址」而
        若「无符号小于」于「址」于「止」
        则
          （（「标记候选」于（「读四」于「址」））；
            「逐」于（「加」于「址」于「步」））
        否则
          「元」
      而
      「逐」于「起」
也。

「标记实例各表」乃化「整数」而化「整数」而「有」也。
「标记实例各表」者会「描述基」而
  会「个数」而
    递归虑「逐」其化「整数」而「有」者会「位」而
      若「小于」于「位」于「个数」
      则
        虑「表」者「加」于「描述基」于（「乘」于「位」于「表描述长」）而
        虑「数据」者「读字段」于「表」于「表描述_数据」而
        虑「无」者
          （「标记根区」
            于「数据」
            于（「加」于「数据」于（「乘」于（「读字段」于「表」于「表描述_大小」）于「四」））
            于「四」）
        而
        「逐」于（「加」于「位」于「一」）
      否则
        「元」
    而
    「逐」于「零」
也。

「标记实例块们」乃化「整数」而化「整数」而「有」也。
「标记实例块们」者会「记」而会「位」而
  若「小于」于「位」于（「读字段」于「记」于「记录_块数」）
  则
    （（「标记候选」于（「读字段」于（「加」于「记」于「记录_块表」）于（「乘」于「位」于「四」）））；
      「标记实例块们」于「记」于（「加」于「位」于「一」））
  否则
    「元」
也。

「标记一实例根」乃化「整数」而「有」也。
「标记一实例根」者会「实例」而
  虑「记」者「实例记录」于「实例」而
  虑「无」者（「标记实例块们」于「记」于「零」）而
  虑「全局起」者「读实例格」于「实例」于「状态_全局表」而
  虑「无」者
    （「标记根区」
      于「全局起」
      于（「加」于「全局起」于（「乘」于（「读实例格」于「实例」于「状态_全局数」）于「八」））于「八」）
  而
  「标记实例各表」于（「读实例格」于「实例」于「状态_表描述」）
  于（「读实例格」于「实例」于「状态_表数」）
也。

「标记各实例根」乃化「整数」而「有」也。
「标记各实例根」者会「实例」而
  若「小于」于「实例」于（「读四」于「状态_实例数」）
  则
    虑「无」者
      （
        若「等」于（「读字段」于（「实例记录」于「实例」）于「记录_状态」）于「一」则
          「标记一实例根」于「实例」
        否则
          「元」
      ）
    而
    「标记各实例根」于（「加」于「实例」于「一」）
  否则
    「元」
也。

「：文言：清扫：线性扫堆，未标记者并入空闲，已标记者去其标；毗连空闲合而为一。汉语：清扫：线性扫描堆，已标记对象清除标记，未标记对象与空闲块合并成游程放回自由表；返回存活字节数。：」
「收尾游程」乃化「整数」而化「整数」而「有」也。
「收尾游程」者会「游起」而会「游长」而
  若「等零」于「游长」则
    「元」
  否则
    （
      若「等」于（「加」于「游起」于「游长」）于（「读四」于「状态_堆顶」）
      则
        「放回空闲」于「游起」于「游长」
      否则
        「写四」于「状态_堆顶」于「游起」
    ）
也。

「清扫逐块」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「清扫逐块」者会「址」而会「游起」而会「游长」而会「存活」而
  若「无符号小于」于「址」于（「读四」于「状态_堆顶」）
  则
    虑「头」者「读四」于「址」而
    虑「大」者「读字段」于「址」于「四」而
    虑「下一」者「加」于「址」于「大」而
    虑「有游」者「不等于」于「游长」于「零」而
    虑「并起」者「选择」于「有游」于「游起」于「址」而
    虑「并长」者「选择」于「有游」于（「加」于「游长」于「大」）于「大」而
    若「等」于（「对象种」于「头」）于「种类空闲」
    则
      「清扫逐块」于「下一」于「并起」于「并长」于「存活」
    否则
      若「不等于」于（「位与」于「头」于「头标记」）于「零」
      则
        虑「无」者
          （「写四」于「址」于（「位与」于「头」于（「位异或」于「头标记」于「负一」）））
        而
        虑「无」者
          （若「有游」则「放回空闲」于「游起」于「游长」否则「元」）
        而
        「清扫逐块」于「下一」于「零」于「零」于（「加」于「存活」于「大」）
      否则
        虑「无」者（「位图清」于「址」）而
        「清扫逐块」于「下一」于「并起」于「并长」于「存活」
  否则
    （（「收尾游程」于「游起」于「游长」）；
      「存活」）
也。

「：文言：标准输入缓冲之根：重定向所读之整个文件在堆里，以此为根。汉语：标记标准输入重定向的缓冲（状态_输入缓冲，堆里的字节数组，读字节 从它取）：回收时作为根。：」
「标记输入缓冲」乃化「有」而「有」也。
「标记输入缓冲」者会「无」而
  「标记候选」于（「读四」于「状态_输入缓冲」）
也。

「：文言：回收：标根，清扫，定后阈。汉语：垃圾回收：以值栈（保守，两字皆看）、全局、表、异常载荷、临时根与输出捕获缓冲为根标记，清扫，并据存活字节数重设下次回收的阈值。：」
「回收」乃化「有」而「有」也。
「回收」者会「无」而
  虑「无」者（「保存上下文」于（「读四」于「状态_当前实例」））而
  虑「无」者
    （「写四」于「状态_标记栈顶」于（「读四」于「状态_标记栈基」））而
    虑「无」者（「写四」于「状态_标记溢出」于「零」）而
    虑「无」者
      （「标记根区」于（「读四」于「状态_值栈基」）于（「读四」于「状态_栈针」）于「四」）而
      虑「无」者「标记各实例根」于「零」而
      虑「无」者「标记输入缓冲」于「元」而
      虑「无」者
        （「标记根区」于「状态_临时根」于（「加」于「状态_临时根」于「六四」）于「四」）而
        虑「无」者
          （「标记根区」于「状态_捕获出引」于（「加」于「状态_捕获误容」于「四」）于「四」）而
          虑「无」者
            （「标记根区」
              于「状态_例外载荷」
              于（「加」于「状态_例外载荷」于（「乘」于（「读四」于「状态_例外数」）于「八」））
              于「四」）而
              虑「无」者
                （
                  若「不等于」于（「读四」于「状态_异步表」）于「零」则
                    「标记根区」
                      于（「读四」于「状态_异步表」）
                      于（「加」于（「读四」于「状态_异步表」）于「异步表字节」）
                      于「四」
                  否则
                    「元」
                ）
              而
              虑「无」者「清空标记栈」于「元」
              而
              虑「无」者（「清零」于「状态_自由表」于「一三二」）
              而
              虑「无」者（「写四」于「状态_小类掩码」于「零」）
              而
              虑「无」者（「写四」于「状态_大自由」于「零」）
              而
              虑「存活」者
                「清扫逐块」
                  于（「读四」于「状态_堆基」）于「零」于「零」于「零」
              而
              虑「无」者（「写四」于「状态_活字节」于「存活」）
              而
              虑「无」者（「写四」于「状态_分配计」于「零」）而
              「写四」
                于「状态_回收阈」
                于（「选择」
                  于（「无符号大于」于「存活」于（「读四」于「状态_回收下限」））
                  于「存活」
                  于（「读四」于「状态_回收下限」））
也。

「：文言：分配：返回对象头址，头两字由此写入，载荷已清零。汉语：分配对象：返回对象头地址；头字 0/1（种类与类型号、总字节数）由本函数写入，载荷已清零。空闲块不足时先回收一次，再向内存索取，仍不足则以 120 退出。：」
「完成分配」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「完成分配」者会「址」而会「大小」而会「种类」而会「类型号」而
  虑「无」者
    （「若则致命」于（「无符号大于」于「类型号」于「六五五三五」）于「一二零」于（「静态串」于『类型号超出十六位』））而
    虑「无」者
      （「写四」
        于「址」
        于（「位或」
          于（「位或」于「类型号」于（「左移」于（「读四」于「状态_当前实例」）于「一六」））
          于（「左移」于「种类」于「二四」）））而
          虑「无」者（「写字段」于「址」于「四」于「大小」）而
          虑「无」者（「位图置」于「址」）而
          虑「无」者
            （「写四」于「状态_分配计」于（「加」于（「读四」于「状态_分配计」）于「大小」））
          而
          「址」
也。

「尝试分配」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「尝试分配」者会「字节数」而会「种类」而会「类型号」而会「试」而
  虑「空闲块」者「取空闲」于「字节数」而
  若「不等于」于「空闲块」于「零」
  则
    虑「实」者「读字段」于「空闲块」于「四」而
    虑「无」者（「清零」于「空闲块」于「实」）而
    「完成分配」于「空闲块」于「实」于「种类」于「类型号」
  否则
    虑「新块」者「划出」于「字节数」而
    若「不等于」于「新块」于「零」
    则
      虑「无」者（「清零」于「新块」于「字节数」）而
      「完成分配」于「新块」于「字节数」于「种类」于「类型号」
    否则
      若「且」于（「等零」于（「读四」于「状态_回收禁」））于（「等零」于「试」）
      则
        （（「回收」于「元」）；
          「尝试分配」于「字节数」于「种类」于「类型号」于「一」）
      否则
        （（「若则致命」于（「等零」于（「增长堆」于「字节数」））于「一二零」于（「静态串」于『堆内存不足』））；
          「尝试分配」于「字节数」于「种类」于「类型号」于「试」）
也。

「分配对象」乃化「整数」而化「整数」而化「整数」而「整数」也。
「分配对象」者会「字节数」而会「种类」而会「类型号」而
  虑「对齐」者
    「位与」于（「加」于「字节数」于「七」）于（「减」于「零」于「八」）而
    虑「大小」者
      「选择」于（「小于」于「对齐」于「一六」）于「一六」于「对齐」而
      虑「无」者
        （
          若「且」
            于（「无符号大等」于（「读四」于「状态_分配计」）于（「读四」于「状态_回收阈」））
            于（「等零」于（「读四」于「状态_回收禁」））
          则
            「回收」于「元」
          否则
            「元」
        ）
      而
      「尝试分配」于「大小」于「种类」于「类型号」于「零」
也。

「：文言：原始块：次级实例之字节皆置堆中，为原始块，其头址记于所属实例之块表，回收时以之为根。汉语：分配原始块（返回对象头址，载荷从头址+16 起、已清零）；登记原始块（记入某实例的块表，回收时作根）；取存：初始实例仍用区域分配器（在堆初始化之前），其他实例从堆里分配原始块，供模块解析分配元数据、客内存与模块字节。：」
「分配原始块」乃化「整数」而「整数」也。
「分配原始块」者会「字节数」而
  「分配对象」于（「加」于「字节数」于「一六」）于「种类原始」于「零」
也。

「登记原始块」乃化「整数」而化「整数」而「有」也。
「登记原始块」者会「实例」而会「头」而
  虑「记」者「实例记录」于「实例」而
  虑「数」者「读字段」于「记」于「记录_块数」而
  虑「无」者
    （「若则致命」于（「无符号大等」于「数」于「块表容量」）于「一二零」于（「静态串」于『实例原始块过多』））而
    虑「无」者
      （「写字段」于（「加」于「记」于「记录_块表」）于（「乘」于「数」于「四」）于「头」）
    而
    「写字段」于「记」于「记录_块数」于（「加」于「数」于「一」）
也。

「取存」乃化「整数」而「整数」也。
「取存」者会「字节数」而
  虑「实例」者「读四」于「状态_当前实例」而
  若「等零」于「实例」则
    「取区域」于「字节数」
  否则
    虑「头」者「分配原始块」于「字节数」而
    虑「无」者（「登记原始块」于「实例」于「头」）而
    「加」于「头」于「一六」
也。
