Rework int_arg() so that it doesn't modify the arguments list.
This is part of a larger effort to simplify the code base by reducing the number of side effects.
Authored by: david_costanzo 2026-05-30
Parent: [r6244]
Child: [r6246]
