pathological SML from Mairson paper