/* state flags */