#43: push() does not wait between press/release calls