Something worth noting btw: the reference manual describes nesC's changes vs ISO C 90, however the nesC compiler implementation supports gcc's C dialect (this is intentional, and will not change). Thus if your goal is to parse files from TinyOS, you might find that a parser/analyser that accepts gcc's C extensions is a better start than one which "just" handles ISO C.