CORE
main.c
--overflow-check
^VERIFICATION SUCCESSFUL$
