@omenos @synlogic gotcha. fwiw I can get down to 14K with a statically linked Hare binary which is a bit contrived:
use rt;
export fn main() void = {
const msg = "Hello world!\n";
rt::write(1, &(&msg: *[]u8)[0], len(msg))!;
};
hare build -Ro main main.ha
strip main