setident
IDENT stringvalue { setident($2); }
no IDENT { setident(NULL); }
void setident(const char *);