set remoteti 10
set heur 0
symbol-file linux
target remote 127.0.0.1:2345
c
