Hello,
I think that they are used by Serial1 object in the Arduino IDE, but I haven’t tested it.
Regards