safe_stack_impl: added and add construct/destroy