Application(): required state_writer