let space () = let s = { alloc = Hashtbl.create 131 ; locals = Iset.empty ; indices = Ihmap.create 257 ; reserved = Kset.empty ; } in Kmap.iter (fun lnk id -> link s id lnk) !extern ; s