machdep.mk
