prove env_rs_repl_decs_inp_out