OpenAFP.Prelude.InstanceAFP.C