I would like to point out that identifiers like “[`__in_fake_assign`](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch.h#L699 "Update candidate")” and “[`__print_cur_stree`](https://github.com/error27/smatch/blob/2fb2b9093c5d001c7fd3ea58fe533df880dd2c44/smatch_states.c#L72-L75 "Another update candidate")” [do not fit](https://www.securecoding.cert.org/confluence/display/c/DCL37-C.+Do+not+declare+or+define+a+reserved+identifier "Do not declare an identifier which is reserved for the compiler implementation.") to the expected naming convention of the C language standard. Would you like to [adjust your selection for unique names](https://sourceforge.net/p/smatch/bugs/5/ "Bug report from 2016-01-05")?