# @(#)ex.awk 10.1 (Berkeley) 6/8/95
/^\/\* C_[0-9A-Z_]* \*\/$/ {
printf("#define %s %d\n", $2, cnt++);
next;
}