using LiskovSubstitution;

(new User()).SaveToFile("test");

(new Administrator()).SaveToFile("test");