Simplified TestBufferOverrun test cases (sizeof, known variables, casts, etc)