So, if one is in doubt, take the multimeter and check for a diode on pin RA4 to Vdd!

Ioannis