set cpu 11/73
set cpu 3072K
att rl0 root.dsk
att rl1 user1.dsk
boot rl