void_restack