public void WriteI4(int value)
{
var destination = new BufferDataDestination();
var writer = new BigEndianWriter(destination);
writer.WriteI4(value);
Verify(value, destination);
}