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