check:	dhkma-d.bin memtst.bin
	bincmp maindec-08-dhkma-d-pb dhkma-d.bin

%.bin:	%.pal
	pal -d -l $<