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