Candidate fix for intermittent crash at attachInterrupt()