debugging with pdb