Made start on cover test MZ -> SMT.