They are used in url-file.cpp.