thoughts on theorem that might enable env_rs call code removal