Update seal_stack.h