A valid identifier is a string of characters meeting the following requirements:
This document was generated by Sergey Poznyakoff on December, 6 2008 using texi2html 1.78.