echo "Reading launchConfigTestGdbinit and running command:"
echo "set args 1 2 3 4 5 6"
set args 1 2 3 4 5 6
