machdep.mk
server.s
