32bit counters, misc fixes