made getcaseenv() public