getSlot should now return an correct ReprobeCounter, also a bit of cleaning up.