Semantic comparison of DOS MZ executables