internal static void WriteInt(Stream destination, int value) { destination.WriteByte((byte)value); destination.WriteByte((byte)(value >> 8)); destination.WriteByte((byte)(value >> 16)); destination.WriteByte((byte)(value >> 24)); }