/MOSML-COMPAT = /src/MosmlCompat/{toplevel,large-word,large-int,integer}
		/src/MosmlCompat/{word,word32,word8,word-sig}
config  : /MOSML-COMPAT

