In Hare, the size of such executable is 250KB, and that also includes the runtime, since Hare produces static executables (zero ldd dependencies) and does not use glibc
I think that this is pretty good!