Hello Sasha, > Alternativelly, we could wrap the patch in “#if TARGET_JVM”, but since > there’re numerous places in the code where it should be applied, this > approach would dirty the code too much. We need to review if this will have a performance impact on Mono (see if Mono is able to inline this). Miguel >