oqibidipo:
Arduino/hardware/arduino/cores/arduino/HardwareSerial.cpp at 1.0-beta2 · arduino/Arduino · GitHub
This version of HardwareSerial.cpp is 7 years old. It has changed. So has Main.cpp. Neither are programmed as shown in the previous post (code pulled from IDE v1.8.5 files)