let mk_env nbprocs sys = (* create mappings but don't allocate hashtable *) let procs = Variable.give_procs nbprocs in let env = init_tables ~alloc:false procs sys in global_envs := env :: !global_envs; env