started a broader proof for buffer overflow