No global symbol table.
Checkpoint.