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