Why and how would `DEBUGF` halt the system?