anchor.diff:    AbiSpecificNativeTypeCfe(this.abiSpecificTypes, this.clazz);
   
     @override
  -  Map<Abi, int?> get size => abiSpecificTypes
  -      .map((abi, nativeTypeCfe) => MapEntry(abi, nativeTypeCfe.size[abi]));
  +  Map<Abi, int?> get size => abiSpecificTypes.map(
  +      (abi, nativeTypeCfe) => MapEntry(abi, nativeTypeCfe.getSizeFor(abi)));
  +
  +  @override
  +  int? getSizeFor(Abi abi) => abiSpecificTypes[abi]?.getSizeFor(abi);
   
     @override
     Map<Abi, int?> get alignment => abiSpecificTypes
         .map((abi, nativeTypeCfe) => MapEntry(abi, nativeTypeCfe.alignment[abi]));
  +
  +  @override
  +  int? getAlignmentFor(Abi abi) => abiSpecificTypes[abi]?.getAlignmentFor(abi);
   
     @override
     Constant generateConstant(FfiTransformer transformer) =>
  
positive.code:   Map<Abi, int?> get alignment => throw reason;
  
    @override
    Constant generateConstant(FfiTransformer transformer) => throw reason;
  
    @override
  
negative.code: 
    @override
    Map<Abi, int?> get size => throw reason;
  
    @override
    int? getSizeFor(Abi abi) => throw reason;
  }
  
  class PrimitiveNativeTypeCfe implements NativeTypeCfe {
  