Symbol: ish_should_leave_d0i3