int MIN_EXT = 0x8007

Not documented.