Class CastDef