On Mar 4, 2008, at 2:56 PM, Chris Lattner wrote: > Huh? That's a bug in not handling __always_inline__. What are you > getting at? Just pointing out the fact the header won't work until __always_inline__ works.