Clflags.Int_arg_helper(3o) on Linux

The text b56d53cd6a8d, as Debian 11 (Bullseye) shipped it.

Optimization parameters represented as ints indexed by round number.