Bob's byte reference schedule has one thread, hence one writer.
1549def greedyArgmaxSM86ByteVocabularySuffixProgram : (family SM86Program) =
1550 (greedyArgmaxSM86Next
1551 (constructor
1552 SM86InstructionBody
1553 SM86MoveConstant
1554 greedyArgmaxSM86R28
1555 (byte 0)
1556 greedyArgmaxSM86U352
1557 sm86SafeControl)
1558 (greedyArgmaxSM86Next
1559 (constructor
1560 SM86InstructionBody
1561 SM86MoveConstant
1562 greedyArgmaxSM86R29
1563 (byte 0)
1564 greedyArgmaxSM86U356
1565 sm86SafeControl)
1566 (greedyArgmaxSM86Next
1567 (constructor
1568 SM86InstructionBody
1569 SM86MoveImmediate
1570 greedyArgmaxSM86R27
1571 greedyArgmaxSM86U1
1572 sm86SafeControl)
1573 (greedyArgmaxSM86Next
1574 (constructor
1575 SM86InstructionBody
1576 SM86StoreGlobal
1577 greedyArgmaxSM86R28
1578 greedyArgmaxSM86R8
1579 greedyArgmaxSM86U0
1580 sm86SafeControl)
1581 (greedyArgmaxSM86Next
1582 (constructor
1583 SM86InstructionBody
1584 SM86StoreGlobal
1585 greedyArgmaxSM86R28
1586 greedyArgmaxSM86R27
1587 greedyArgmaxSM86U4
1588 sm86SafeControl)
1589 (greedyArgmaxSM86Next
1590 (constructor SM86InstructionBody SM86Exit sm86SafeControl)
1591 sm86ProgramEmpty))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.