Any advice on a good pair of hand operated grass clippers?

The old style that requires manual labor?

I need something to keep in my car to trim grass around my parents
grave stones at cemetery. Serious

Thanks in advance!