forgotten checkin
FingerMap: sequence and int-map in one!
more forgotten stuff