[mh] compiled satis