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