Bob's byte reference schedule has one thread, hence one writer.
1542def greedyArgmaxSM86ByteVocabularySuffixProgram : (family SM86Program) =
1543 (greedyArgmaxSM86Next
1544 (constructor
1545 SM86InstructionBody
1546 SM86MoveConstant
1547 greedyArgmaxSM86R28
1548 (byte 0)
1549 greedyArgmaxSM86U352
1550 sm86SafeControl)
1551 (greedyArgmaxSM86Next
1552 (constructor
1553 SM86InstructionBody
1554 SM86MoveConstant
1555 greedyArgmaxSM86R29
1556 (byte 0)
1557 greedyArgmaxSM86U356
1558 sm86SafeControl)
1559 (greedyArgmaxSM86Next
1560 (constructor
1561 SM86InstructionBody
1562 SM86MoveImmediate
1563 greedyArgmaxSM86R27
1564 greedyArgmaxSM86U1
1565 sm86SafeControl)
1566 (greedyArgmaxSM86Next
1567 (constructor
1568 SM86InstructionBody
1569 SM86StoreGlobal
1570 greedyArgmaxSM86R28
1571 greedyArgmaxSM86R8
1572 greedyArgmaxSM86U0
1573 sm86SafeControl)
1574 (greedyArgmaxSM86Next
1575 (constructor
1576 SM86InstructionBody
1577 SM86StoreGlobal
1578 greedyArgmaxSM86R28
1579 greedyArgmaxSM86R27
1580 greedyArgmaxSM86U4
1581 sm86SafeControl)
1582 (greedyArgmaxSM86Next
1583 (constructor SM86InstructionBody SM86Exit sm86SafeControl)
1584 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.