ERR_008          1972 net/if_strip.c 	static const char ERR_008[] = "008"; /* Bad character in name */
ERR_008          2029 net/if_strip.c 	else if (!strncmp(msg, ERR_008, sizeof(ERR_008)-1))