This is BibTeX, Version 0.99c (Web2C 7.5.6)
The top-level auxiliary file: basic_theory.aux
The style file: gji.bst
Database file #1: /home/hpplag/bib/allour.bib
Warning--I didn't find a database entry for "Wang"
Warning--I didn't find a database entry for "Wig"
Warning--I didn't find a database entry for "PekJar"
Warning--I didn't find a database entry for "Jobert"
Warning--I didn't find a database entry for "Backus"
Warning--I didn't find a database entry for "BacGil"
Warning--I didn't find a database entry for "Dahlen"
Warning--I didn't find a database entry for "Molo"
Warning--I didn't find a database entry for "AbSt"
Warning--I didn't find a database entry for "Love"
Warning--I didn't find a database entry for "Saito"
Warning--I didn't find a database entry for "Wil"
You've used 0 entries,
            2849 wiz_defined-function locations,
            1122 strings with 9609 characters,
and the built_in function-call counts, 23 in all, are:
= -- 0
> -- 0
< -- 0
+ -- 0
- -- 0
* -- 2
:= -- 8
add.period$ -- 0
call.type$ -- 0
change.case$ -- 0
chr.to.int$ -- 0
cite$ -- 0
duplicate$ -- 0
empty$ -- 1
format.name$ -- 0
if$ -- 1
int.to.chr$ -- 1
int.to.str$ -- 1
missing$ -- 0
newline$ -- 4
num.names$ -- 0
pop$ -- 0
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 1
stack$ -- 0
substring$ -- 0
swap$ -- 0
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 0
width$ -- 0
write$ -- 3
(There were 12 warnings)