Symbol: aia_hvictl_value