[Abstract 004] halt