... a small update: apparently the problem is circumscribed to __adjust_heap: __value gets overwritten, the final __push_heap call goes obviously havoc and nothing works anymore. Seems fixable ;) Paolo.