Simple code without Preconditions class