Direct port access in Arduino IDE

… sorry, forgot to include the option for “fast reading” the GPIO pin (used in the if statement):