# guest: DragonFly dfbsd 6.5-DEVELOPMENT x86_64, cc 8.3 [DragonFly]
# attempt 1: cc -O2 -Wall -Wextra -o /tmp/tr3990 /tmp/t3990.c
/tmp/t3990.c:63:11: error: redefinition of 'cons' (model bug: shadowed loop var)
/tmp/t3990.c:45:11: note: previous definition of 'cons' was here
RC=1 -> model fixed (renamed cons2 / corrected over-reclaim print)
# attempt 2 (final):
$ cc -O2 -Wall -Wextra -o /tmp/tr3990 /tmp/t3990.c
(no warnings, no errors)