On Dec 11, 2009, at 3:56 PM, Nick Clifton wrote: > Hi Tristan, > >> It caught a few more cases. > > Great - thanks for doing this. > >> Ok to apply ? > > Please do. Done. Thanks. I saw you also replaced PTR with void *. Does this mean that PTR is deprecated ? (which make sense if we support only ANSI-C). Tristan.