word loader[0200] = {
	0414740000041,
	0426740037175 | RELOC,

	0505740254377,
	0541740037176 | RELOC,
	0426740000041,

	0505740200737,
	0541740037175 | RELOC,
	0426740037176 | RELOC,
	0505740202737,
	0541740000041,
	0426740037177 | RELOC,
	0505740205737,
	0541740777377,
	0426740037200 | RELOC,
	0505740721177,
	0541740220307,
	0426740037201 | RELOC,
	0505740720337,
	0541740000777,
	0426740037202 | RELOC,
	0505740253777,
	0541740037202 | RELOC,
	0426740037203 | RELOC,
	0505740720056,
	0541740037377 | RELOC,
	0426740037204 | RELOC,
	0505740253737,
	0541740037202 | RELOC,
	0426740037205 | RELOC,
	0505740200777,
	0541740000000,
	0426740037206 | RELOC,
	0505740211477,
	0541740000000,
	0426740037207 | RELOC,
	0505740253777,
	0541740037725 | RELOC,
	0426740037210 | RELOC,
	0700600014277,
		// the rest is junk
	0200040000366,
	0306140000075,
	0525040577777,
	0305140000075,
	0541040220107,
	0254000000172,
	0200040000367,
	0305140000073,
	0541040223107,
	0254000000172,
	0721700000006,
	0254000000342,
	0720340001000,
	0254000000334,
	0720140000001,
	0254005000000,
	0712140000356,
	0721200001000,
	0254200000100,
	0200100000003,
	0241100777775,
	0245040000003,
	0241100777772,
	0245040000003,
	0241100777772,
	0245040000003,
	0241100777772,
	0245040000033,
	0451040000007,
	0254000000172,
	0707707707707,
	0070707070770,
	0077070007000,
	0700707070707,
	0070070070070,
	0757367573674,
	0721200233107,
	0721200230107,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
};

word macdmp[0400] = {
	0402000037777 | RELOC,
	0700200635550,
	0265300037471 | RELOC,
	0201200037746 | RELOC,
	0403100037176 | RELOC,
	0250104000001,
	0253100037406 | RELOC,
	0201202777777,
	0326200037404 | RELOC,
	0403600000000,
	0211500000001,
	0205040400000,
	0250140000001,
	0205040400000,
	0205240020600,
	0306600000046,
	0254000037735 | RELOC,
	0721200000000,
	0134100037777 | RELOC,
	0326100037430 | RELOC,
	0712340000040,
	0254000037424 | RELOC,
	0712040000002,
	0265300037473 | RELOC,
	0465100000177,
	0342100037400 | RELOC,
	0340100000007,
	0345100037516 | RELOC,
	0271100000135,
	0321100037521 | RELOC,
	0322100037414 | RELOC,
	0603240770000,
	0136100000005,
	0254000037422 | RELOC,
	0303600000055,
	0267600037462 | RELOC,
	0721200000000,
	0321600037451 | RELOC,
	0542200037447 | RELOC,
	0322600037402 | RELOC,
	0254000037402 | RELOC,
	0563000033777 | RELOC,
	0254000034000 | RELOC,
	0201200037176 | RELOC,
	0402000000040,
	0200140037750 | RELOC,
	0306600000064,
	0200220033777 | RELOC,
	0606600000003,
	0251144777777,
	0265640037601 | RELOC,
	0265300037624 | RELOC,
	0316340000004,
	0254000037462 | RELOC,
	0322140037402 | RELOC,
	0322500037751 | RELOC,
	0334300037663 | RELOC,
	0334100037527 | RELOC,
	0334100037432 | RELOC,
	0336000037777 | RELOC,
	0712140000002,
	0712300000020,
	0254000037475 | RELOC,
	0325106000000,
	0201100000012,
	0254000037473 | RELOC,
	0616105000001,
	0344240037502 | RELOC,
	0265300037471 | RELOC,
	0306005740524 | NRELOC,
	0254000037402 | RELOC,
	0201705740604 | NRELOC,
	0242700777777,
	0135100037752 | RELOC,
	0200056037254 | RELOC,
	0137040037753 | RELOC,
	0265300037745 | RELOC,
	0267100037742 | RELOC,
	0607040004040,
	0135600000005,
	0326600037706 | RELOC,
	0342100037437 | RELOC,
	0200540037754 | RELOC,
	0205400777750,
	0340400037574 | RELOC,
	0336010037176 | RELOC,
	0332010037177 | RELOC,
	0604000000015,
	0542400037536 | RELOC,
	0316150037176 | RELOC,
	0312050037177 | RELOC,
	0253400037524 | RELOC,
	0321400037541 | RELOC,
	0323500037470 | RELOC,
	0201400037536 | RELOC,
	0332010037177 | RELOC,
	0254000037470 | RELOC,
	0336000000012,
	0403040000003,
	0202150037176 | RELOC,
	0202050037177 | RELOC,
	0201410000001,
	0242400777777,
	0323500037552 | RELOC,
	0412510037254 | RELOC,
	0436510037303 | RELOC,
	0403440000005,
	0602500000004,
	0254000037453 | RELOC,
	0200100037755 | RELOC,
	0201340037747 | RELOC,
	0336002000000,
	0253100037557 | RELOC,
	0202100000004,
	0336002000000,
	0332002000001,
	0253100037562 | RELOC,
	0274200000002,
	0271202000000,
	0202207000000,
	0200340000002,
	0321100037557 | RELOC,
	0200340037756 | RELOC,
	0201200037747 | RELOC,
	0265300037624 | RELOC,
	0255000000007,
	0200204000000,
	0325200037621 | RELOC,
	0334640037524 | RELOC,
	0316200037756 | RELOC,
	0661440400000,
	0265300037624 | RELOC,
	0200340000004,
	0325440037601 | RELOC,
	0325200037442 | RELOC,
	0325600037614 | RELOC,
	0564300000004,
	0270300000004,
	0273320033777 | RELOC,
	0540200000006,
	0241340000001,
	0265300037624 | RELOC,
	0270344000000,
	0253200037614 | RELOC,
	0254015000000,
	0321500037402 | RELOC,
	0265300037624 | RELOC,
	0624500037447 | RELOC,
	0367240037647 | RELOC,
	0354000000011,
	0137040000013,
	0134100000013,
	0306100000037,
	0254000037466 | RELOC,
	0661112777777,
	0302402000000,
	0326100037625 | RELOC,
	0137400000013,
	0322500037626 | RELOC,
	0200140037377 | RELOC,
	0721700000040,
	0254000037640 | RELOC,
	0721340200000,
	0660140002000,
	0477000000002,
	0721203220200,
	0720200004010,
	0721700000006,
	0254000037470 | RELOC,
	0720340001000,
	0254000037647 | RELOC,
	0325112037703 | RELOC,
	0560140037377 | RELOC,
	0720040000001,
	0275051000000,
	0325000037663 | RELOC,
	0322040037667 | RELOC,
	0321040037644 | RELOC,
	0664140002000,
	0340040037400 | RELOC,
	0341040037643 | RELOC,
	0660140010000,
	0344000037645 | RELOC,
	0331000000012,
	0660140000400,
	0721203220300,
	0331000000012,
	0720200003410,
	0201240000200,
	0344100037647 | RELOC,
	0720040000016,
	0312726000000,
	0254000037470 | RELOC,
	0254000037705 | RELOC,
	0720066000000,
	0254000037705 | RELOC,
	0720166000000,
	0254006000000,
	0201100000044,
	0265300037473 | RELOC,
	0302600000053,
	0306600000044,
	0343500037711 | RELOC,
	0306600000047,
	0254020037447 | RELOC,
	0306600000051,
	0211500000005,
	0303600000031,
	0254000037413 | RELOC,
	0242040000003,
	0246000000003,
	0326040037721 | RELOC,
	0303000000007,
	0267200037442 | RELOC,
	0242000000003,
	0202000037377 | RELOC,
	0201440000100,
	0265300037637 | RELOC,
	0340102037177 | RELOC,
	0367240037647 | RELOC,
	0254000037402 | RELOC,
	0541240037176 | RELOC,
	0205100770000,
	0616240037414 | RELOC,
	0254000037502 | RELOC,
	0607240770000,
	0265300037745 | RELOC,
	0201300037736 | RELOC,
	0134100000005,
	0201102000040,
	0254000037473 | RELOC,
	0000000000000,
	0000040000041,
	0344500037730 | RELOC,
	0000116037303 | RELOC,
	0010100000002,
	0000500037254 | RELOC,
	0740623000020 | LNRELOC,
	0254000000001,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
	0000000000000,
};

word macdmp_moby[0400] = {
0402000777777,
0700200635550,
0265300777471,
0201200777746,
0403100777176,
0250104000001,
0253100777406,
0201202777777,
0326200777404,
0403600000000,
0211500000001,
0205040400000,
0250140000001,
0205040400000,
0205240020600,
0306600000046,
0254000777735,
0721200000000,
0134100777777,
0326100777430,
0712340000040,
0254000777424,
0712040000002,
0265300777473,
0465100000177,
0342100777400,
0340100000007,
0345100777516,
0271100000135,
0321100777521,
0322100777414,
0603240770000,
0136100000005,
0254000777422,
0303600000055,
0267600777462,
0721200000000,
0321600777451,
0542200777447,
0322600777402,
0254000777402,
0563000773777,
0254000774000,
0201200777176,
0402000000040,
0200140777750,
0306600000064,
0200220773777,
0606600000003,
0251144777777,
0265640777601,
0265300777624,
0316340000004,
0254000777462,
0322140777402,
0322500777751,
0334300777663,
0334100777527,
0334100777432,
0336000777777,
0712140000002,
0712300000020,
0254000777475,
0325106000000,
0201100000012,
0254000777473,
0616105000001,
0344240777502,
0265300777471,
0306005000524,
0254000777402,
0201705000604,
0242700777777,
0135100777752,
0200056777254,
0137040777753,
0265300777745,
0267100777742,
0607040004040,
0135600000005,
0326600777706,
0342100777437,
0200540777754,
0205400777750,
0340400777574,
0336010777176,
0332010777177,
0604000000015,
0542400777536,
0316150777176,
0312050777177,
0253400777524,
0321400777541,
0323500777470,
0201400777536,
0332010777177,
0254000777470,
0336000000012,
0403040000003,
0202150777176,
0202050777177,
0201410000001,
0242400777777,
0323500777552,
0412510777254,
0436510777303,
0403440000005,
0602500000004,
0254000777453,
0200100777755,
0201340777747,
0336002000000,
0253100777557,
0202100000004,
0336002000000,
0332002000001,
0253100777562,
0274200000002,
0271202000000,
0202207000000,
0200340000002,
0321100777557,
0200340777756,
0201200777747,
0265300777624,
0255000000007,
0200204000000,
0325200777621,
0334640777524,
0316200777756,
0661440400000,
0265300777624,
0200340000004,
0325440777601,
0325200777442,
0325600777614,
0564300000004,
0270300000004,
0273320773777,
0540200000006,
0241340000001,
0265300777624,
0270344000000,
0253200777614,
0254015000000,
0321500777402,
0265300777624,
0624500777447,
0367240777647,
0354000000011,
0137040000013,
0134100000013,
0306100000037,
0254000777466,
0661112777777,
0302402000000,
0326100777625,
0137400000013,
0322500777626,
0200140777377,
0721700000040,
0254000777640,
0721340200000,
0660140002000,
0477000000002,
0721203220200,
0720200004010,
0721700000006,
0254000777470,
0720340001000,
0254000777647,
0325112777703,
0560140777377,
0720040000001,
0275051000000,
0325000777663,
0322040777667,
0321040777644,
0664140002000,
0340040777400,
0341040777643,
0660140010000,
0344000777645,
0331000000012,
0660140000400,
0721203220300,
0331000000012,
0720200003410,
0201240000200,
0344100777647,
0720040000016,
0312726000000,
0254000777470,
0254000777705,
0720066000000,
0254000777705,
0720166000000,
0254006000000,
0201100000044,
0265300777473,
0302600000053,
0306600000044,
0343500777711,
0306600000047,
0254020777447,
0306600000051,
0211500000005,
0303600000031,
0254000777413,
0242040000003,
0246000000003,
0326040777721,
0303000000007,
0267200777442,
0242000000003,
0202000777377,
0201440000100,
0265300777637,
0340102777177,
0367240777647,
0254000777402,
0541240777176,
0205100770000,
0616240777414,
0254000777502,
0607240770000,
0265300777745,
0201300777736,
0134100000005,
0201102000040,
0254000777473,
0000000000000,
0000040000041,
0344500777730,
0000116777303,
0010100000002,
0000500777254,
0000623000020,
0254000000001,

};