https://bugs.winehq.org/show_bug.cgi?id=23816
--- Comment #36 from Esme Povirk madewokherd@gmail.com --- The stack has a well-defined set of types at each part of the code, specified in the standard, which only depends on the instructions before it. Mono depends on this.