Oh... are global types really put on the stack? Or what?