rst: state file