adding m32x.ml and sandmark benchmark, for posterity;