all:
	( cd CONVERTED  && m3make )
	( cd Simulator && m3make )