thread__set_maps
thread__set_maps(leader, maps__new(machine));
thread__set_maps(th, maps__get(thread__maps(leader)));
thread__set_maps(thread, NULL);
thread__set_maps(thread, maps__new(machine));
thread__set_maps(thread, maps__get(thread__maps(leader)));