noreturn todo(IStr text, IStr file = __FILE__, Sz line = __LINE__)
Halts the program with a TODO message indicating unimplemented code.