i1 : getNmzFilename() o1 =
i2 : setNmzFilename("VeryInteresting");
i3 : getNmzFilename() o3 = VeryInteresting