// Perform the actual formatting by appending characters to ctx. // We usually use format_sql_to to achieve this.