let
touch space id =
let
a = allocator space (fst id)
in
a.count <- succ a.count