clean:
	rm -f mk*.v *.b[iao]
