debugging buffer overflow