Identified and fixed a bug with the Arduino mocks library