Introduce procedure use_gdb_stub