let clear space =
  Iset.iter (unalloc space) space.locals ;
  space.locals <- Iset.empty