Symbol: dobegin
usr/src/cmd/awk_xpg4/awk.h
289
void dobegin(void);
usr/src/cmd/awk_xpg4/awk2.c
56
dobegin();