def get_env_manager(self, env, env_body, env_ptr):
    return EnvironmentManager(self, env, env_body, env_ptr)
def get_env_manager(self, env, env_body, env_ptr):
    return EnvironmentManager(self, env, env_body, env_ptr)