Header file to produce 16-bit code with gcc