Symbol: mod3_f