Clflags.Int_arg_helper(3o) on Linux

The text 3aecc82425a1, as Debian 13 (Trixie) shipped it.

Optimization parameters represented as ints indexed by round number.

Clflags.Int_arg_helper(3o) on Linux now