Symbol: OSTATE_HEAD