int MAX_EXT = 0x8008

Not documented.