Initial FileState and tests