Test format_error_code.