Standard file header (except multiboot.h)