Well FFmpeg is roughly 1500k, but it's C+Asm and it's dozens of codecs and pretty complex features. SBCL is around 500k I guess.

I'm not saying that this is necessarily too much, I'm genuinely asking if this is a bloat or if it's justified.