Re: [PD] debugging externs with gdb in Linux