or maybe this
int buttonPushCounter = buttonstate; // counter for the number of button presses
int buttonState = 0; // current state of the button
int lastButtonState = 0;
or maybe this
int buttonPushCounter = buttonstate; // counter for the number of button presses
int buttonState = 0; // current state of the button
int lastButtonState = 0;