a BASH script PUSH-UP counter (for #gains )