Symbol: isoctdigit
usr/src/cmd/awk/b.c
343
} else if (isoctdigit(c)) { /* \d \dd \ddd */
usr/src/cmd/awk/b.c
345
if (isoctdigit(*p)) {
usr/src/cmd/awk/b.c
347
if (isoctdigit(*p))