=== stump_ is now known as stump