MAX_LEN_ATOM
char buf[MAX_LEN_ATOM+1];
if (len == MAX_LEN_ATOM)
char identifier[MAX_LEN_ATOM+1];
char buf[MAX_LEN_ATOM+2], *endptr;