[COFF] Re: Data types in operating systems