I think it makes sense -- it explicitly shows that the start state creator
must support getting empty creator_opts.