Clflags.Int_arg_helper(3o) on Linux

The text 0d0db8bc8386, as Debian 12 (Bookworm) shipped it.

Optimization parameters represented as ints indexed by round number.