²³The function locerr is defined in the file options.cpp.