Update to support changes to seec interface - forgot to set s_nstates as unsigned!