rf: DMAR ac 0000
rf: read wc 7600
rf: read ca 6603 (dma_addr 06604)
rf: start! disk_addr 0000000 (000 0000) (06604 7601)

rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7003 (dma_addr 07004)
rf: start! disk_addr 0000000 (000 0000) (07004 0001)
rf: snoop update wc 7775
rf: snoop update ca 6621

rf: DIML 0020
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)
rf: start! disk_addr 0020000 (002 0000) (20000 0001)
rf: write wc 0000
rf: write ca 27777

rf: DIML 0000
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 00000)
rf: start! disk_addr 0020000 (002 0000) (00000 0001)
rf: snoop update wc 7751
rf: snoop update ca 7751
rf: write wc 0000
rf: write ca 07777

rf: DIML 0020
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)
rf: start! disk_addr 0020000 (002 0000) (20000 0001)
rf: write wc 0000
rf: write ca 27777

rf: DIML 0010
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 10000)
rf: start! disk_addr 0310000 (031 0000) (10000 0001)
rf: write wc 0000
rf: write ca 17777

rf: DIML 0010
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 10000)
rf: start! disk_addr 0010000 (001 0000) (10000 0001)
rf: write wc 0000
rf: write ca 17777

rf: DIML 0010
rf: DMAW ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 10000)
rf: start! disk_addr 0010000 (001 0000) (10000 0001)
rf: write wc 0001
rf: write ca 10000
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 0)
rf: DIML 0000
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 00000)
rf: start! disk_addr 0030000 (003 0000) (00000 0001)
rf: snoop update wc 7751
rf: snoop update ca 7751
rf: write wc 0000
rf: write ca 07777
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 0)
rf: DIML 0010
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 10000)
rf: start! disk_addr 0040000 (004 0000) (10000 0001)
rf: write wc 0000
rf: write ca 17777
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 0)
rf: DCMA


-----


rf: set DCF (CIE 1)
rf: DCMA
rf: DIML 0520
rf: read wc 6000
rf: read ca 5777 (dma_addr 26000)
rf: start! disk_addr 0016000 (001 6000) (26000 6001)
rf: write wc 0000
rf: write ca 27777
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 1)
rf: DCMA
rf: DIML 0520
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)
rf: start! disk_addr 0000000 (000 0000) (20000 0001)
rf: write wc 0000
rf: write ca 27777
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 1)
rf: DCMA
rf: DIML 0530
rf: DMAR ac 6000
rf: read wc 4400
rf: read ca 7777 (dma_addr 30000)
rf: start! disk_addr 0446000 (044 6000) (30000 4401)
rf: write wc 0000
rf: write ca 33377
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 1)
rf: DCMA
rf: DIML 0520
rf: DMAR ac 0000
rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)
rf: start! disk_addr 0010000 (001 0000) (20000 0001)
rf: write wc 0000
rf: write ca 27777
rf: done
rf: done
rf: done
rf: done
rf: set DCF (CIE 1)
rf: DCMA
--------

rf: read wc 6000
rf: read ca 5777 (dma_addr 26000)	4

rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)	5

rf: read wc 4400
rf: read ca 7777 (dma_addr 30000)	6

rf: read wc 0000
rf: read ca 7777 (dma_addr 20000)`	7

--------
.R FOCALrf: ma 27777, wc 0	1
rf: ma 25377, wc 7400 	 	2
rf: ma 25377, wc 7400		3
rf: ma 25777, wc 6000		4
rf: ma 27777, wc 0		5
rf: ma 37777, wc 4400		6
rf: ma 27777, wc 0		7

rf: ma 25377, wc 7400		8
rf: ma 33377, wc 4400		9
rf: ma 36777, wc 7000		10
rf: ma 25777, wc 6000		11


.R FOCALrf: ma 27777, wc 0	1
rf: done; ma 27777, wc 0
rf: ma 25377, wc 7400		2
rf: done; ma 25777, wc 0
rf: ma 25377, wc 7400		3
rf: done; ma 25777, wc 0
rf: ma 25777, wc 6000		4
rf: done; ma 27777, wc 0
rf: ma 27777, wc 0		5
rf: done; ma 27777, wc 0
rf: ma 37777, wc 4400		6
rf: done; ma 33377, wc 0
rf: ma 27777, wc 0		7
rf: done; ma 27777, wc 0

rf: ma 25377, wc 7400		8
rf: done; ma 25777, wc 0
rf: ma 33377, wc 4400		9
rf: done; ma 36777, wc 0
rf: ma 36777, wc 7000		10
rf: done; ma 37777, wc 0
rf: ma 25777, wc 6000		11
rf: done; ma 27777, wc 0

---

xxx rf_go! (rf_da 20000, wc 0, ma 7777)
xxx rf_go! (rf_da 20000, wc 0, ma 7777)
xxx rf_go! (rf_da 310000, wc 0, ma 7777)
xxx rf_go! (rf_da 10000, wc 0, ma 7777)
xxx rf_go! (rf_da 10000, wc 0, ma 7777)
xxx rf_go! (rf_da 30000, wc 0, ma 7777)
xxx rf_go! (rf_da 40000, wc 0, ma 7777)
xxx rf_go! (rf_da 0, wc 0, ma 7777)
xxx rf_go! (rf_da 10000, wc 0, ma 7777)
xxx rf_go! (rf_da 310000, wc 7400, ma 5377)
xxx rf_go! (rf_da 16000, wc 6000, ma 5777)
xxx rf_go! (rf_da 0, wc 0, ma 7777)
xxx rf_go! (rf_da 10000, wc 0, ma 7777)
xxx rf_go! (rf_da 310400, wc 7400, ma 5377)
xxx rf_go! (rf_da 376000, wc 7400, ma 5377)
xxx rf_go! (rf_da 16000, wc 6000, ma 5777)
xxx rf_go! (rf_da 0, wc 0, ma 7777)
xxx rf_go! (rf_da 446000, wc 4400, ma 7777)
xxx rf_go! (rf_da 10000, wc 0, ma 7777)
xxx rf_go! (rf_da 376000, wc 7400, ma 5377)
xxx rf_go! (rf_da 451400, wc 4400, ma 3377)
xxx rf_go! (rf_da 455000, wc 7000, ma 6777)
xxx rf_go! (rf_da 16000, wc 6000, ma 5777)

------

rf: read dma to 06603, count 7600; disk_addr 0 (0) EMA 0 DMA 0
rf: read dma to 07003, count 0; disk_addr 0 (0) EMA 0 DMA 0
rf: read dma to 27777, count 0; disk_addr 20000 (8192) EMA 2 DMA 0
rf: read dma to 07777, count 0; disk_addr 20000 (8192) EMA 2 DMA 0
rf: read dma to 27777, count 0; disk_addr 20000 (8192) EMA 2 DMA 0
rf: read dma to 17777, count 0; disk_addr 310000 (102400) EMA 31 DMA 0
rf: read dma to 17777, count 0; disk_addr 10000 (4096) EMA 1 DMA 0
rf: write dma to 17777, count 0; disk_addr 10000 (4096) EMA 1 DMA 0
rf: read dma to 07777, count 0; disk_addr 30000 (12288) EMA 3 DMA 0
rf: read dma to 17777, count 0; disk_addr 40000 (16384) EMA 4 DMA 0
xxx boom 1; cycles      110000
xxx boom 2; cycles      120000
xxx boom 3; cycles      200000
rf: read dma to 27777, count 0; disk_addr 0 (0) EMA 0 DMA 0
rf: read dma to 27777, count 0; disk_addr 10000 (4096) EMA 1 DMA 0
rf: read dma to 25377, count 7400; disk_addr 310000 (102400) EMA 31 DMA 0
rf: write dma to 25777, count 6000; disk_addr 16000 (7168) EMA 1 DMA 6000
rf: read dma to 27777, count 0; disk_addr 0 (0) EMA 0 DMA 0
xxx boom 4; cycles     1000000
rf: read dma to 27777, count 0; disk_addr 10000 (4096) EMA 1 DMA 0
rf: read dma to 25377, count 7400; disk_addr 310400 (102656) EMA 31 DMA 400
rf: read dma to 25377, count 7400; disk_addr 376000 (130048) EMA 37 DMA 6000
rf: write dma to 25777, count 6000; disk_addr 16000 (7168) EMA 1 DMA 6000
rf: read dma to 27777, count 0; disk_addr 0 (0) EMA 0 DMA 0
rf: read dma to 37777, count 4400; disk_addr 446000 (150528) EMA 44 DMA 6000
rf: read dma to 27777, count 0; disk_addr 10000 (4096) EMA 1 DMA 0
rf: read dma to 25377, count 7400; disk_addr 376000 (130048) EMA 37 DMA 6000
rf: read dma to 33377, count 4400; disk_addr 451400 (152320) EMA 45 DMA 1400
rf: read dma to 36777, count 7000; disk_addr 455000 (154112) EMA 45 DMA 5000
rf: write dma to 25777, count 6000; disk_addr 16000 (7168) EMA 1 DMA 6000
xxx boom 5; cycles     1100000

-----------------

xxx rf_go! read (rf_da 20000, wc 0, ma 7777)
xxx rf_go! read (rf_da 20000, wc 0, ma 7777)
xxx rf_go! read (rf_da 310000, wc 0, ma 7777)
xxx rf_go! read (rf_da 10000, wc 0, ma 7777)
xxx rf_go! write (rf_da 10000, wc 0, ma 7777)
xxx rf_go! read (rf_da 30000, wc 0, ma 7777)
xxx rf_go! read (rf_da 40000, wc 0, ma 7777)
xxx rf_go! read (rf_da 0, wc 0, ma 7777)
xxx rf_go! read (rf_da 10000, wc 0, ma 7777)
xxx rf_go! read (rf_da 310000, wc 7400, ma 5377)
xxx rf_go! write (rf_da 16000, wc 6000, ma 5777)
xxx rf_go! read (rf_da 0, wc 0, ma 7777)
xxx rf_go! read (rf_da 10000, wc 0, ma 7777)
xxx rf_go! read (rf_da 310400, wc 7400, ma 5377)
xxx rf_go! write (rf_da 16000, wc 6000, ma 5777)
xxx rf_go! read (rf_da 0, wc 0, ma 7777)
xxx rf_go! read (rf_da 321400, wc 7400, ma 7777)
xxx rf_go! read (rf_da 325000, wc 5000, ma 377)
xxx rf_go! read (rf_da 10000, wc 0, ma 7777)
xxx rf_go! read (rf_da 310400, wc 7400, ma 5377)
xxx rf_go! read (rf_da 330000, wc 4400, ma 3377)
xxx rf_go! read (rf_da 333400, wc 7000, ma 6777)
xxx rf_go! write (rf_da 16000, wc 6000, ma 5777)

rf: start! read disk_addr 0000000 (000 0000) (ma 06604 wc 7601)
rf: start! read disk_addr 0000000 (000 0000) (ma 07004 wc 0001)
rf: start! read disk_addr 0020000 (002 0000) (ma 20000 wc 0001)

rf: start! read disk_addr 0020000 (002 0000) (ma 00000 wc 0001)
rf: start! read disk_addr 0020000 (002 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0310000 (031 0000) (ma 10000 wc 0001)
rf: start! read disk_addr 0010000 (001 0000) (ma 10000 wc 0001)
rf: start! write disk_addr 0010000 (001 0000) (ma 10000 wc 0001)
rf: start! read disk_addr 0030000 (003 0000) (ma 00000 wc 0001)
rf: start! read disk_addr 0040000 (004 0000) (ma 10000 wc 0001)
rf: start! read disk_addr 0000000 (000 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0010000 (001 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0310000 (031 0000) (ma 25400 wc 7401)
rf: start! write disk_addr 0016000 (001 6000) (ma 26000 wc 6001)
rf: start! read disk_addr 0000000 (000 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0010000 (001 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0310400 (031 0400) (ma 25400 wc 7401)
rf: start! write disk_addr 0016000 (001 6000) (ma 26000 wc 6001)
rf: start! read disk_addr 0000000 (000 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0321400 (032 1400) (ma 30000 wc 7401)
rf: start! read disk_addr 0325000 (032 5000) (ma 30400 wc 5001)
rf: start! read disk_addr 0010000 (001 0000) (ma 20000 wc 0001)
rf: start! read disk_addr 0310400 (031 0400) (ma 25400 wc 7401)
rf: start! read disk_addr 0330000 (033 0000) (ma 33400 wc 4401)
rf: start! read disk_addr 0333400 (033 3400) (ma 37000 wc 7001)
rf: start! write disk_addr 0016000 (001 6000) (ma 26000 wc 6001)

rf: start! read disk_addr 0000000 (000 0000) (ma 20000 wc 0001)