next primary key determinator

here, next primary key is actually the first free integer. we have no
need to keep primary key index in logical order for this.