Module Jenga_lib.Cmd_env