/* * Numerical error code * */ int get_error_code()