stackleak_find_top_of_poison
poison_high = stackleak_find_top_of_poison(task_stack_low, untracked_high);
erase_low = stackleak_find_top_of_poison(task_stack_low,