Re: [PATCH] Small bug in the INLINE_HEADER macro