functional spec init