programmer: rudimentary gdbserver/stub support