Bookkeeping, done with tables all except TypeSpec.