This is BibTeX, Version 0.99c (Web2C 7.5.5)
The top-level auxiliary file: gadt-paper.aux
The style file: abbrv.bst
Database file #1: gadt-paper.bib
You've used 13 entries,
            2118 wiz_defined-function locations,
            571 strings with 5673 characters,
and the built_in function-call counts, 4450 in all, are:
= -- 439
> -- 188
< -- 8
+ -- 74
- -- 60
* -- 269
:= -- 720
add.period$ -- 41
call.type$ -- 13
change.case$ -- 66
chr.to.int$ -- 0
cite$ -- 13
duplicate$ -- 193
empty$ -- 358
format.name$ -- 60
if$ -- 979
int.to.chr$ -- 0
int.to.str$ -- 13
missing$ -- 8
newline$ -- 68
num.names$ -- 28
pop$ -- 76
preamble$ -- 1
purify$ -- 55
quote$ -- 0
skip$ -- 158
stack$ -- 0
substring$ -- 232
swap$ -- 67
text.length$ -- 8
text.prefix$ -- 0
top$ -- 0
type$ -- 52
warning$ -- 0
while$ -- 41
width$ -- 15
write$ -- 147