size of executable

[Jorge Almeida <jjalmeida@gmail.com>]

I think my executables are way too large. They used to be much
smaller, not so long ago (e.g. 18 months ago). I'm using musl 1.1.23
with gcc-8.3.0 on x86_64. Could someone check the following hello.c
and see what size you get?
I get 16768 bytes (not stripped) and 12324 (stripped).
Note that I'm not even using printf.

Thanks

#include <unistd.h>
int main(int argc, char* argv[]){
 write(1, "Hello, bloated world...\n", 24);
}