Improvement deferred from https://github.com/pq-code-package/mlkem-native/pull/1648. See https://github.com/pq-code-package/mlkem-native/blob/494dfe68feb79279ce785f04ae42181c9284d726/scripts/autogen#L3215-L3218
Improvement deferred from #1648.
See
mlkem-native/scripts/autogen
Lines 3215 to 3218 in 494dfe6