improve stack for force_leave()