For example at the top of Arduino.h you'll see: #include "binary.h" ... digitalWrite() is a built-in Arduino function that simply turns the digital U/O pin specified on or off ...

I don’t use Arduino IDE much, but that’s my thoughts exactly. And even if it is in runtime, does the “verifications” -whatever they may be- repeat EVERY invocation of digitalWrite ()…?