Half a gig of machine code...
In the paper they mention trying to limit the code size to 10% of that and getting ~60% of the baseline perf.
However, they got this number by simply dropping to the interpreter for the rest of the code. I'm curious what kind of figures they'd get if they got to this 10% goal by being more aggressive in the type guard widening pass.