`SKIP_REST`, `STOP_MATCHING` and `HALT` => we probably don't need 3 aliases for the same thing.