It's not compiled ahead of time any more, but yeah, that gives you an idea of just how darn big the server side code is.