# .gdbinit

file health
set args 2 5 1
break main
run