Hedgehog and stump_export