set console wru=034
set cpu its
set cpu 512k
dis rpa
dis rpb
dis tua
dis fha
dis dpb
at ptr bin/ka10/boot/dskdmp.rim
at mta0 out/pdp10-ka/minsrc.tape
at dpa0 out/pdp10-ka/rp03.2
at dpa1 out/pdp10-ka/rp03.3
set dpa noheaders
b ptr