minmax.cocci 3.21 KB