¹Some code calls this function directly. For reference, the function is:
void CCTK_Error(int line_number, const char* file_name, const char* thorn_name,
              const char* message)