it isn't used later on in ftree_sel() after it's been free'd. OK christos@ (and for the interesting test case).