864 /* actual state flags */