On the infinite loop in sort! The loop happens because the sort function included "==" -- this I think was a bug in my ancient heapsort C code. Using ">" rather than ">=" worked fine. The "car" case was ok because it was optimized to use qsort_r instead of the evaluator. Maybe I should add that optimization to the (A 0) case.