Symbol: decode_choice