now debugging using GDB