end-ge-halt