change to literal ids, no global counters any more. implemented time stamps for diseq and lookup using a set of invalid time stamps. in the process of debugging