c - 为什么一个简单的 C 程序会消耗大量磁盘空间？

Question

我注意到打印“hello world”的简单 C 程序的大小：

#include <stdio.h>
int main()
{
    printf("hello world");
}

大约是8kB。我认为这可能是因为包含，然后我生成了一个更简单的程序：

int main()
{
    int x=1+13;
    return x;
}

但再次编译程序的大小约为 8kB。

为什么这么大？如果一条机器指令是 8B，那么大约有 1k 条指令，但我看不出有任何理由为什么这么简单的代码会导致这么多指令。