let copy space = {
  alloc = Hashtbl.copy space.alloc ;
  indices = Ihmap.copy space.indices ;
  locals = space.locals ;
  reserved = space.reserved ;
}