Add -prodfn