Symbol: hal_state_t