Symbol: get_cur_astate