A happy pin is a fully working pin - electronic circuit board repair