u8800: These are provided by the proprietary part of the source