On Wed, Jul 17, 2013 at 7:46 PM, Yao Qi <yao@codesourcery.com> wrote: > On 07/18/2013 01:54 AM, Doug Evans wrote: >> >> Note that we're already >> using // in code: While it's in /* ... */ comments in, e.g. queue.h > > > because we can't use /* */ inside the comments. That's the "for obvious simplicity reason" I was referring to. :-)