{    // This comment is terminated with `\r`.}