⁶Some code calls this function directly. For reference, the function is:
int CCTK_Warn(int level,
              int line_number, const char* file_name, const char* thorn_name,
              const char* message)