Symbol: fan_decode