let in_heap s n = n < Vec.size s.indices && Vec.get s.indices n >= 0