__db_prinit
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
(void)fflush(__db_prinit(NULL));
(void)fflush(__db_prinit(NULL));
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
fp = __db_prinit(NULL);
FILE *__db_prinit __P((FILE *));