// Auto-generated. Do not edit.
declare const enum DAL {
    // /libraries/codal-core/inc/core/CodalComponent.h
    DEVICE_ID_BUTTON_A = 1,
    DEVICE_ID_BUTTON_B = 2,
    DEVICE_ID_BUTTON_AB = 3,
    DEVICE_ID_BUTTON_RESET = 4,
    DEVICE_ID_ACCELEROMETER = 5,
    DEVICE_ID_COMPASS = 6,
    DEVICE_ID_DISPLAY = 7,
    DEVICE_ID_THERMOMETER = 8,
    DEVICE_ID_RADIO = 9,
    DEVICE_ID_RADIO_DATA_READY = 10,
    DEVICE_ID_MULTIBUTTON_ATTACH = 11,
    DEVICE_ID_SERIAL = 12,
    DEVICE_ID_GESTURE = 13,
    DEVICE_ID_SYSTEM_TIMER = 14,
    DEVICE_ID_SCHEDULER = 15,
    DEVICE_ID_COMPONENT = 16,
    DEVICE_ID_LIGHT_SENSOR = 17,
    DEVICE_ID_TOUCH_SENSOR = 18,
    DEVICE_ID_SYSTEM_DAC = 19,
    DEVICE_ID_SYSTEM_MICROPHONE = 20,
    DEVICE_ID_SYSTEM_LEVEL_DETECTOR = 21,
    DEVICE_ID_SYSTEM_LEVEL_DETECTOR_SPL = 22,
    DEVICE_ID_MSC = 23,
    DEVICE_ID_SPI = 24,
    DEVICE_ID_DISTANCE = 25,
    DEVICE_ID_GYROSCOPE = 26,
    DEVICE_ID_HUMIDITY = 27,
    DEVICE_ID_PRESSURE = 28,
    DEVICE_ID_SINGLE_WIRE_SERIAL = 29,
    DEVICE_ID_JACDAC = 30,
    DEVICE_ID_JACDAC_PHYS = 31,
    DEVICE_ID_JACDAC_CONTROL_SERVICE = 32,
    DEVICE_ID_JACDAC_CONFIGURATION_SERVICE = 33,
    DEVICE_ID_SYSTEM_ADC = 34,
    DEVICE_ID_PULSE_IN = 35,
    DEVICE_ID_USB = 36,
    DEVICE_ID_SPLITTER = 37,
    DEVICE_ID_AUDIO_PROCESSOR = 38,
    DEVICE_ID_TAP = 39,
    DEVICE_ID_POWER_MANAGER = 40,
    DEVICE_ID_PARTIAL_FLASHING = 41,
    DEVICE_ID_USB_FLASH_MANAGER = 42,
    DEVICE_ID_VIRTUAL_SPEAKER_PIN = 43,
    DEVICE_ID_LOG = 44,
    DEVICE_ID_IO_P0 = 100,
    DEVICE_ID_MESSAGE_BUS_LISTENER = 1021,
    DEVICE_ID_NOTIFY_ONE = 1022,
    DEVICE_ID_NOTIFY = 1023,
    DEVICE_ID_BUTTON_UP = 2000,
    DEVICE_ID_BUTTON_DOWN = 2001,
    DEVICE_ID_BUTTON_LEFT = 2002,
    DEVICE_ID_BUTTON_RIGHT = 2003,
    DEVICE_ID_JD_DYNAMIC_ID = 3000,
    DEVICE_ID_DYNAMIC_MIN = 64000,
    DEVICE_ID_DYNAMIC_MAX = 65000,
    DEVICE_COMPONENT_RUNNING = 4096,
    DEVICE_COMPONENT_STATUS_SYSTEM_TICK = 8192,
    DEVICE_COMPONENT_STATUS_IDLE_TICK = 16384,
    DEVICE_COMPONENT_LISTENERS_CONFIGURED = 1,
    DEVICE_COMPONENT_EVT_SYSTEM_TICK = 1,
    // /libraries/codal-core/inc/core/CodalFiber.h
    DEVICE_SCHEDULER_RUNNING = 1,
    DEVICE_SCHEDULER_IDLE = 2,
    DEVICE_SCHEDULER_DEEPSLEEP = 4,
    DEVICE_FIBER_FLAG_FOB = 1,
    DEVICE_FIBER_FLAG_PARENT = 2,
    DEVICE_FIBER_FLAG_CHILD = 4,
    DEVICE_FIBER_FLAG_DO_NOT_PAGE = 8,
    DEVICE_SCHEDULER_EVT_TICK = 1,
    DEVICE_SCHEDULER_EVT_IDLE = 2,
    DEVICE_GET_FIBER_LIST_AVAILABLE = 1,
    MUTEX = 0,
    SEMAPHORE = 1,
    // /libraries/codal-core/inc/core/CodalListener.h
    MESSAGE_BUS_LISTENER_PARAMETERISED = 1,
    MESSAGE_BUS_LISTENER_METHOD = 2,
    MESSAGE_BUS_LISTENER_BUSY = 4,
    MESSAGE_BUS_LISTENER_REENTRANT = 8,
    MESSAGE_BUS_LISTENER_QUEUE_IF_BUSY = 16,
    MESSAGE_BUS_LISTENER_DROP_IF_BUSY = 32,
    MESSAGE_BUS_LISTENER_NONBLOCKING = 64,
    MESSAGE_BUS_LISTENER_URGENT = 128,
    MESSAGE_BUS_LISTENER_DELETING = 32768,
    MESSAGE_BUS_LISTENER_IMMEDIATE = 192,
    // /libraries/codal-core/inc/core/ErrorNo.h
    DEVICE_OK = 0,
    DEVICE_INVALID_PARAMETER = -1001,
    DEVICE_NOT_SUPPORTED = -1002,
    DEVICE_CALIBRATION_IN_PROGRESS = -1003,
    DEVICE_CALIBRATION_REQUIRED = -1004,
    DEVICE_NO_RESOURCES = -1005,
    DEVICE_BUSY = -1006,
    DEVICE_CANCELLED = -1007,
    DEVICE_I2C_ERROR = -1010,
    DEVICE_SERIAL_IN_USE = -1011,
    DEVICE_NO_DATA = -1012,
    DEVICE_NOT_IMPLEMENTED = -1013,
    DEVICE_SPI_ERROR = -1014,
    DEVICE_INVALID_STATE = -1015,
    DEVICE_OOM = 20,
    DEVICE_RESORUCES_EXHAUSTED = 21,
    DEVICE_HEAP_ERROR = 30,
    DEVICE_NULL_DEREFERENCE = 40,
    DEVICE_PERIPHERAL_ERROR = 50,
    DEVICE_JACDAC_ERROR = 60,
    DEVICE_CPU_SDK = 70,
    DEVICE_HARDWARE_CONFIGURATION_ERROR = 90,
    // /libraries/codal-core/inc/core/NotifyEvents.h
    DISPLAY_EVT_FREE = 1,
    CODAL_SERIAL_EVT_TX_EMPTY = 2,
    BLE_EVT_SERIAL_TX_EMPTY = 3,
    ARCADE_PLAYER_JOIN_RESULT = 4,
    POWER_EVT_CANCEL_DEEPSLEEP = 5,
    DEVICE_NOTIFY_USER_EVENT_BASE = 1024,
    // /libraries/codal-core/inc/driver-models/AbstractButton.h
    DEVICE_BUTTON_EVT_DOWN = 1,
    DEVICE_BUTTON_EVT_UP = 2,
    DEVICE_BUTTON_EVT_CLICK = 3,
    DEVICE_BUTTON_EVT_LONG_CLICK = 4,
    DEVICE_BUTTON_EVT_HOLD = 5,
    DEVICE_BUTTON_EVT_DOUBLE_CLICK = 6,
    DEVICE_BUTTON_LONG_CLICK_TIME = 1000,
    DEVICE_BUTTON_HOLD_TIME = 1500,
    DEVICE_BUTTON_STATE = 1,
    DEVICE_BUTTON_STATE_HOLD_TRIGGERED = 2,
    DEVICE_BUTTON_STATE_CLICK = 4,
    DEVICE_BUTTON_STATE_LONG_CLICK = 8,
    DEVICE_BUTTON_SIGMA_MIN = 0,
    DEVICE_BUTTON_SIGMA_MAX = 12,
    DEVICE_BUTTON_SIGMA_THRESH_HI = 8,
    DEVICE_BUTTON_SIGMA_THRESH_LO = 2,
    DEVICE_BUTTON_DOUBLE_CLICK_THRESH = 50,
    DEVICE_BUTTON_SIMPLE_EVENTS = 0,
    DEVICE_BUTTON_ALL_EVENTS = 1,
    ACTIVE_LOW = 0,
    ACTIVE_HIGH = 1,
    // /libraries/codal-core/inc/driver-models/Accelerometer.h
    ACCELEROMETER_IMU_DATA_VALID = 2,
    ACCELEROMETER_EVT_DATA_UPDATE = 1,
    ACCELEROMETER_EVT_NONE = 0,
    ACCELEROMETER_EVT_TILT_UP = 1,
    ACCELEROMETER_EVT_TILT_DOWN = 2,
    ACCELEROMETER_EVT_TILT_LEFT = 3,
    ACCELEROMETER_EVT_TILT_RIGHT = 4,
    ACCELEROMETER_EVT_FACE_UP = 5,
    ACCELEROMETER_EVT_FACE_DOWN = 6,
    ACCELEROMETER_EVT_FREEFALL = 7,
    ACCELEROMETER_EVT_3G = 8,
    ACCELEROMETER_EVT_6G = 9,
    ACCELEROMETER_EVT_8G = 10,
    ACCELEROMETER_EVT_SHAKE = 11,
    ACCELEROMETER_EVT_2G = 12,
    ACCELEROMETER_REST_TOLERANCE = 200,
    ACCELEROMETER_TILT_TOLERANCE = 200,
    ACCELEROMETER_FREEFALL_TOLERANCE = 400,
    ACCELEROMETER_SHAKE_TOLERANCE = 400,
    ACCELEROMETER_2G_TOLERANCE = 2048,
    ACCELEROMETER_3G_TOLERANCE = 3072,
    ACCELEROMETER_6G_TOLERANCE = 6144,
    ACCELEROMETER_8G_TOLERANCE = 8192,
    ACCELEROMETER_GESTURE_DAMPING = 5,
    ACCELEROMETER_SHAKE_DAMPING = 10,
    ACCELEROMETER_SHAKE_RTX = 30,
    ACCELEROMETER_SHAKE_COUNT_THRESHOLD = 4,
    // /libraries/codal-core/inc/driver-models/Compass.h
    COMPASS_STATUS_RUNNING = 1,
    COMPASS_STATUS_CALIBRATED = 2,
    COMPASS_STATUS_CALIBRATING = 4,
    COMPASS_STATUS_ADDED_TO_IDLE = 8,
    COMPASS_EVT_DATA_UPDATE = 1,
    COMPASS_EVT_CONFIG_NEEDED = 2,
    COMPASS_EVT_CALIBRATE = 3,
    COMPASS_EVT_CALIBRATION_NEEDED = 4,
    // /libraries/codal-core/inc/driver-models/Gyroscope.h
    GYROSCOPE_IMU_DATA_VALID = 2,
    GYROSCOPE_EVT_DATA_UPDATE = 1,
    // /libraries/codal-core/inc/driver-models/LowLevelTimer.h
    CODAL_LOWLEVELTIMER_STATUS_SLEEP_IRQENABLE = 1,
    TimerModeTimer = 0,
    TimerModeCounter = 1,
    TimerModeAlternateFunction = 2,
    BitMode8 = 0,
    BitMode16 = 1,
    BitMode24 = 2,
    BitMode32 = 3,
    // /libraries/codal-core/inc/driver-models/Pin.h
    IO_STATUS_DIGITAL_IN = 1,
    IO_STATUS_DIGITAL_OUT = 2,
    IO_STATUS_ANALOG_IN = 4,
    IO_STATUS_ANALOG_OUT = 8,
    IO_STATUS_TOUCH_IN = 16,
    IO_STATUS_EVENT_ON_EDGE = 32,
    IO_STATUS_EVENT_PULSE_ON_EDGE = 64,
    IO_STATUS_INTERRUPT_ON_EDGE = 128,
    IO_STATUS_ACTIVE_HI = 256,
    IO_STATUS_WAKE_ON_ACTIVE = 512,
    IO_STATUS_DISCONNECTING = 1024,
    DEVICE_PIN_MAX_OUTPUT = 1023,
    DEVICE_PIN_MAX_SERVO_RANGE = 180,
    DEVICE_PIN_DEFAULT_SERVO_RANGE = 2000,
    DEVICE_PIN_DEFAULT_SERVO_CENTER = 1500,
    DEVICE_PIN_EVENT_NONE = 0,
    DEVICE_PIN_INTERRUPT_ON_EDGE = 1,
    DEVICE_PIN_EVENT_ON_EDGE = 2,
    DEVICE_PIN_EVENT_ON_PULSE = 3,
    DEVICE_PIN_EVENT_ON_TOUCH = 4,
    DEVICE_PIN_EVT_RISE = 2,
    DEVICE_PIN_EVT_FALL = 3,
    DEVICE_PIN_EVT_PULSE_HI = 4,
    DEVICE_PIN_EVT_PULSE_LO = 5,
    PIN_CAPABILITY_DIGITAL = 1,
    PIN_CAPABILITY_ANALOG = 2,
    PIN_CAPABILITY_AD = 3,
    PIN_CAPABILITY_ALL = 3,
    None = 0,
    Down = 1,
    Up = 2,
    // /libraries/codal-core/inc/driver-models/Radio.h
    RADIO_EVT_DATA_READY = 2,
    // /libraries/codal-core/inc/driver-models/SPIFlash.h
    SPIFLASH_PAGE_SIZE = 256,
    SPIFLASH_SMALL_ROW_PAGES = 16,
    SPIFLASH_BIG_ROW_PAGES = 256,
    // /libraries/codal-core/inc/driver-models/Sensor.h
    SENSOR_THRESHOLD_LOW = 1,
    SENSOR_THRESHOLD_HIGH = 2,
    SENSOR_UPDATE_NEEDED = 3,
    SENSOR_INITIALISED = 1,
    SENSOR_HIGH_THRESHOLD_PASSED = 2,
    SENSOR_LOW_THRESHOLD_PASSED = 4,
    SENSOR_LOW_THRESHOLD_ENABLED = 8,
    SENSOR_HIGH_THRESHOLD_ENABLED = 16,
    SENSOR_DEFAULT_SENSITIVITY = 868,
    SENSOR_DEFAULT_SAMPLE_PERIOD = 500,
    // /libraries/codal-core/inc/driver-models/Serial.h
    CODAL_SERIAL_DEFAULT_BAUD_RATE = 115200,
    CODAL_SERIAL_DEFAULT_BUFFER_SIZE = 20,
    CODAL_SERIAL_EVT_DELIM_MATCH = 1,
    CODAL_SERIAL_EVT_HEAD_MATCH = 2,
    CODAL_SERIAL_EVT_RX_FULL = 3,
    CODAL_SERIAL_EVT_DATA_RECEIVED = 4,
    CODAL_SERIAL_STATUS_RX_IN_USE = 1,
    CODAL_SERIAL_STATUS_TX_IN_USE = 2,
    CODAL_SERIAL_STATUS_RX_BUFF_INIT = 4,
    CODAL_SERIAL_STATUS_TX_BUFF_INIT = 8,
    CODAL_SERIAL_STATUS_RXD = 16,
    CODAL_SERIAL_STATUS_DEEPSLEEP = 32,
    ASYNC = 0,
    SYNC_SPINWAIT = 1,
    SYNC_SLEEP = 2,
    RxInterrupt = 0,
    TxInterrupt = 1,
    // /libraries/codal-core/inc/driver-models/SingleWireSerial.h
    SWS_EVT_DATA_RECEIVED = 1,
    SWS_EVT_DATA_SENT = 2,
    SWS_EVT_ERROR = 3,
    SWS_EVT_DATA_DROPPED = 4,
    SingleWireRx = 0,
    SingleWireTx = 1,
    SingleWireDisconnected = 2,
    // /libraries/codal-core/inc/driver-models/Timer.h
    CODAL_TIMER_DEFAULT_EVENT_LIST_SIZE = 10,
    CODAL_TIMER_EVENT_FLAGS_NONE = 0,
    CODAL_TIMER_EVENT_FLAGS_WAKEUP = 1,
    // /libraries/codal-core/inc/drivers/AnalogSensor.h
    ANALOG_THRESHOLD_LOW = 1,
    ANALOG_THRESHOLD_HIGH = 2,
    ANALOG_SENSOR_UPDATE_NEEDED = 3,
    ANALOG_SENSOR_INITIALISED = 1,
    ANALOG_SENSOR_HIGH_THRESHOLD_PASSED = 2,
    ANALOG_SENSOR_LOW_THRESHOLD_PASSED = 4,
    ANALOG_SENSOR_LOW_THRESHOLD_ENABLED = 8,
    ANALOG_SENSOR_HIGH_THRESHOLD_ENABLED = 16,
    // /libraries/codal-core/inc/drivers/AnimatedDisplay.h
    DISPLAY_EVT_ANIMATION_COMPLETE = 1,
    DISPLAY_DEFAULT_AUTOCLEAR = 1,
    DISPLAY_SPACING = 1,
    DISPLAY_ANIMATE_DEFAULT_POS = -255,
    DISPLAY_DEFAULT_SCROLL_SPEED = 120,
    DISPLAY_DEFAULT_SCROLL_STRIDE = -1,
    DISPLAY_DEFAULT_PRINT_SPEED = 400,
    ANIMATION_MODE_NONE = 0,
    ANIMATION_MODE_STOPPED = 1,
    ANIMATION_MODE_SCROLL_TEXT = 2,
    ANIMATION_MODE_PRINT_TEXT = 3,
    ANIMATION_MODE_SCROLL_IMAGE = 4,
    ANIMATION_MODE_ANIMATE_IMAGE = 5,
    ANIMATION_MODE_ANIMATE_IMAGE_WITH_CLEAR = 6,
    ANIMATION_MODE_PRINT_CHARACTER = 7,
    // /libraries/codal-core/inc/drivers/FAT.h
    FAT_RESERVED_SECTORS = 1,
    FAT_ROOT_DIR_SECTORS = 4,
    // /libraries/codal-core/inc/drivers/HID.h
    HID_REQUEST_GET_REPORT = 1,
    HID_REQUEST_GET_IDLE = 2,
    HID_REQUEST_GET_PROTOCOL = 3,
    HID_REQUEST_SET_REPORT = 9,
    HID_REQUEST_SET_IDLE = 10,
    HID_REQUEST_SET_PROTOCOL = 11,
    // /libraries/codal-core/inc/drivers/HIDKeyboard.h
    HID_KEYBOARD_NUM_REPORTS = 3,
    HID_KEYBOARD_REPORT_GENERIC = 1,
    HID_KEYBOARD_REPORT_CONSUMER = 2,
    HID_KEYBOARD_KEYSTATE_SIZE_GENERIC = 8,
    HID_KEYBOARD_KEYSTATE_SIZE_CONSUMER = 2,
    HID_KEYBOARD_MODIFIER_OFFSET = 2,
    HID_KEYBOARD_DELAY_DEFAULT = 10,
    PressKey = 0,
    ReleaseKey = 1,
    // /libraries/codal-core/inc/drivers/KeyMap.h
    KEYMAP_ALL_KEYS_UP_Val = 1,
    KEYMAP_ALL_KEYS_UP_POS = 28,
    KEYMAP_NORMAL_KEY_Val = 0,
    KEYMAP_MODIFIER_KEY_Val = 1,
    KEYMAP_MODIFIER_POS = 29,
    KEYMAP_MEDIA_KEY_Val = 1,
    KEYMAP_MEDIA_POS = 30,
    KEYMAP_KEY_UP_Val = 0,
    KEYMAP_KEY_DOWN_Val = 1,
    KEYMAP_KEY_DOWN_POS = 31,
    // /libraries/codal-core/inc/drivers/KeyValueStorage.h
    DEVICE_KEY_VALUE_STORE_OFFSET = -4,
    KEY_VALUE_STORAGE_MAGIC = 789921,
    KEY_VALUE_STORAGE_BLOCK_SIZE = 48,
    KEY_VALUE_STORAGE_KEY_SIZE = 16,
    KEY_VALUE_STORAGE_SCRATCH_WORD_SIZE = 64,
    KEY_VALUE_STORAGE_MAX_PAIRS = 5,
    // /libraries/codal-core/inc/drivers/LEDMatrix.h
    LED_MATRIX_GREYSCALE_BIT_DEPTH = 8,
    LED_MATRIX_EVT_LIGHT_SENSE = 2,
    LED_MATRIX_EVT_FRAME_TIMEOUT = 3,
    LED_MATRIX_MINIMUM_BRIGHTNESS = 1,
    LED_MATRIX_MAXIMUM_BRIGHTNESS = 255,
    LED_MATRIX_DEFAULT_BRIGHTNESS = 255,
    DISPLAY_MODE_BLACK_AND_WHITE = 0,
    DISPLAY_MODE_GREYSCALE = 1,
    DISPLAY_MODE_BLACK_AND_WHITE_LIGHT_SENSE = 2,
    DISPLAY_MODE_GREYSCALE_LIGHT_SENSE = 3,
    MATRIX_DISPLAY_ROTATION_0 = 0,
    MATRIX_DISPLAY_ROTATION_90 = 1,
    MATRIX_DISPLAY_ROTATION_180 = 2,
    MATRIX_DISPLAY_ROTATION_270 = 3,
    NO_CONN = 0,
    // /libraries/codal-core/inc/drivers/MAG3110.h
    MAG3110_DEFAULT_ADDR = 29,
    MAG3110_SAMPLE_RATES = 11,
    MAG3110_WHOAMI_VAL = 196,
    // /libraries/codal-core/inc/drivers/MultiButton.h
    MULTI_BUTTON_STATE_1 = 1,
    MULTI_BUTTON_STATE_2 = 2,
    MULTI_BUTTON_HOLD_TRIGGERED_1 = 4,
    MULTI_BUTTON_HOLD_TRIGGERED_2 = 8,
    MULTI_BUTTON_SUPRESSED_1 = 16,
    MULTI_BUTTON_SUPRESSED_2 = 32,
    MULTI_BUTTON_ATTACHED = 64,
    // /libraries/codal-core/inc/drivers/PulseIn.h
    DEVICE_EVT_PULSE_IN_TIMEOUT = 10000,
    // /libraries/codal-core/inc/drivers/ST7735.h
    MADCTL_MY = 128,
    MADCTL_MX = 64,
    MADCTL_MV = 32,
    MADCTL_ML = 16,
    MADCTL_RGB = 0,
    MADCTL_BGR = 8,
    MADCTL_MH = 4,
    // /libraries/codal-core/inc/drivers/TouchButton.h
    TOUCH_BUTTON_CALIBRATION_LINEAR_OFFSET = 2,
    TOUCH_BUTTON_CALIBRATION_PERCENTAGE_OFFSET = 5,
    TOUCH_BUTTON_SENSITIVITY = 10,
    TOUCH_BUTTON_CALIBRATION_PERIOD = 10,
    TOUCH_BUTTON_CALIBRATING = 16,
    TOUCH_BUTTON_RUNNING = 32,
    // /libraries/codal-core/inc/drivers/TouchSensor.h
    TOUCH_SENSOR_MAX_BUTTONS = 10,
    TOUCH_SENSOR_SAMPLE_PERIOD = 50,
    TOUCH_SENSE_SAMPLE_MAX = 1000,
    TOUCH_SENSOR_UPDATE_NEEDED = 1,
    // /libraries/codal-core/inc/drivers/USB_HID_Keys.h
    KEY_MOD_LCTRL = 1,
    KEY_MOD_LSHIFT = 2,
    KEY_MOD_LALT = 4,
    KEY_MOD_LMETA = 8,
    KEY_MOD_RCTRL = 16,
    KEY_MOD_RSHIFT = 32,
    KEY_MOD_RALT = 64,
    KEY_MOD_RMETA = 128,
    KEY_NONE = 0,
    KEY_ERR_OVF = 1,
    KEY_A = 4,
    KEY_B = 5,
    KEY_C = 6,
    KEY_D = 7,
    KEY_E = 8,
    KEY_F = 9,
    KEY_G = 10,
    KEY_H = 11,
    KEY_I = 12,
    KEY_J = 13,
    KEY_K = 14,
    KEY_L = 15,
    KEY_M = 16,
    KEY_N = 17,
    KEY_O = 18,
    KEY_P = 19,
    KEY_Q = 20,
    KEY_R = 21,
    KEY_S = 22,
    KEY_T = 23,
    KEY_U = 24,
    KEY_V = 25,
    KEY_W = 26,
    KEY_X = 27,
    KEY_Y = 28,
    KEY_Z = 29,
    KEY_1 = 30,
    KEY_2 = 31,
    KEY_3 = 32,
    KEY_4 = 33,
    KEY_5 = 34,
    KEY_6 = 35,
    KEY_7 = 36,
    KEY_8 = 37,
    KEY_9 = 38,
    KEY_0 = 39,
    KEY_ENTER = 40,
    KEY_ESC = 41,
    KEY_BACKSPACE = 42,
    KEY_TAB = 43,
    KEY_SPACE = 44,
    KEY_MINUS = 45,
    KEY_EQUAL = 46,
    KEY_LEFTBRACE = 47,
    KEY_RIGHTBRACE = 48,
    KEY_BACKSLASH = 49,
    KEY_HASHTILDE = 50,
    KEY_SEMICOLON = 51,
    KEY_APOSTROPHE = 52,
    KEY_GRAVE = 53,
    KEY_COMMA = 54,
    KEY_DOT = 55,
    KEY_SLASH = 56,
    KEY_CAPSLOCK = 57,
    KEY_F1 = 58,
    KEY_F2 = 59,
    KEY_F3 = 60,
    KEY_F4 = 61,
    KEY_F5 = 62,
    KEY_F6 = 63,
    KEY_F7 = 64,
    KEY_F8 = 65,
    KEY_F9 = 66,
    KEY_F10 = 67,
    KEY_F11 = 68,
    KEY_F12 = 69,
    KEY_SYSRQ = 70,
    KEY_SCROLLLOCK = 71,
    KEY_PAUSE = 72,
    KEY_INSERT = 73,
    KEY_HOME = 74,
    KEY_PAGEUP = 75,
    KEY_DELETE = 76,
    KEY_END = 77,
    KEY_PAGEDOWN = 78,
    KEY_RIGHT = 79,
    KEY_LEFT = 80,
    KEY_DOWN = 81,
    KEY_UP = 82,
    KEY_NUMLOCK = 83,
    KEY_KPSLASH = 84,
    KEY_KPASTERISK = 85,
    KEY_KPMINUS = 86,
    KEY_KPPLUS = 87,
    KEY_KPENTER = 88,
    KEY_KP1 = 89,
    KEY_KP2 = 90,
    KEY_KP3 = 91,
    KEY_KP4 = 92,
    KEY_KP5 = 93,
    KEY_KP6 = 94,
    KEY_KP7 = 95,
    KEY_KP8 = 96,
    KEY_KP9 = 97,
    KEY_KP0 = 98,
    KEY_KPDOT = 99,
    KEY_102ND = 100,
    KEY_COMPOSE = 101,
    KEY_POWER = 102,
    KEY_KPEQUAL = 103,
    KEY_F13 = 104,
    KEY_F14 = 105,
    KEY_F15 = 106,
    KEY_F16 = 107,
    KEY_F17 = 108,
    KEY_F18 = 109,
    KEY_F19 = 110,
    KEY_F20 = 111,
    KEY_F21 = 112,
    KEY_F22 = 113,
    KEY_F23 = 114,
    KEY_F24 = 115,
    KEY_OPEN = 116,
    KEY_HELP = 117,
    KEY_PROPS = 118,
    KEY_FRONT = 119,
    KEY_STOP = 120,
    KEY_AGAIN = 121,
    KEY_UNDO = 122,
    KEY_CUT = 123,
    KEY_COPY = 124,
    KEY_PASTE = 125,
    KEY_FIND = 126,
    KEY_MUTE = 127,
    KEY_VOLUMEUP = 128,
    KEY_VOLUMEDOWN = 129,
    KEY_KPCOMMA = 133,
    KEY_RO = 135,
    KEY_KATAKANAHIRAGANA = 136,
    KEY_YEN = 137,
    KEY_HENKAN = 138,
    KEY_MUHENKAN = 139,
    KEY_KPJPCOMMA = 140,
    KEY_HANGEUL = 144,
    KEY_HANJA = 145,
    KEY_KATAKANA = 146,
    KEY_HIRAGANA = 147,
    KEY_ZENKAKUHANKAKU = 148,
    KEY_KPLEFTPAREN = 182,
    KEY_KPRIGHTPAREN = 183,
    KEY_LEFTCTRL = 224,
    KEY_LEFTSHIFT = 225,
    KEY_LEFTALT = 226,
    KEY_LEFTMETA = 227,
    KEY_RIGHTCTRL = 228,
    KEY_RIGHTSHIFT = 229,
    KEY_RIGHTALT = 230,
    KEY_RIGHTMETA = 231,
    KEY_MEDIA_PLAYPAUSE = 232,
    KEY_MEDIA_STOPCD = 233,
    KEY_MEDIA_PREVIOUSSONG = 234,
    KEY_MEDIA_NEXTSONG = 235,
    KEY_MEDIA_EJECTCD = 236,
    KEY_MEDIA_VOLUMEUP = 237,
    KEY_MEDIA_VOLUMEDOWN = 238,
    KEY_MEDIA_MUTE = 239,
    KEY_MEDIA_WWW = 240,
    KEY_MEDIA_BACK = 241,
    KEY_MEDIA_FORWARD = 242,
    KEY_MEDIA_STOP = 243,
    KEY_MEDIA_FIND = 244,
    KEY_MEDIA_SCROLLUP = 245,
    KEY_MEDIA_SCROLLDOWN = 246,
    KEY_MEDIA_EDIT = 247,
    KEY_MEDIA_SLEEP = 248,
    KEY_MEDIA_COFFEE = 249,
    KEY_MEDIA_REFRESH = 250,
    KEY_MEDIA_CALC = 251,
    // /libraries/codal-core/inc/drivers/uf2format.h
    UF2FORMAT_H = 1,
    APP_START_ADDRESS = 8192,
    UF2_FLAG_NOFLASH = 1,
    // /libraries/codal-core/inc/streams/DataStream.h
    DATASTREAM_MAXIMUM_BUFFERS = 1,
    DATASTREAM_FORMAT_UNKNOWN = 0,
    DATASTREAM_FORMAT_8BIT_UNSIGNED = 1,
    DATASTREAM_FORMAT_8BIT_SIGNED = 2,
    DATASTREAM_FORMAT_16BIT_UNSIGNED = 3,
    DATASTREAM_FORMAT_16BIT_SIGNED = 4,
    DATASTREAM_FORMAT_24BIT_UNSIGNED = 5,
    DATASTREAM_FORMAT_24BIT_SIGNED = 6,
    DATASTREAM_FORMAT_32BIT_UNSIGNED = 7,
    DATASTREAM_FORMAT_32BIT_SIGNED = 8,
    // /libraries/codal-core/inc/streams/FIFOStream.h
    FIFO_MAXIMUM_BUFFERS = 256,
    // /libraries/codal-core/inc/streams/LevelDetector.h
    LEVEL_THRESHOLD_LOW = 1,
    LEVEL_THRESHOLD_HIGH = 2,
    LEVEL_DETECTOR_INITIALISED = 1,
    LEVEL_DETECTOR_HIGH_THRESHOLD_PASSED = 2,
    LEVEL_DETECTOR_LOW_THRESHOLD_PASSED = 4,
    LEVEL_DETECTOR_DEFAULT_WINDOW_SIZE = 128,
    // /libraries/codal-core/inc/streams/LevelDetectorSPL.h
    LEVEL_DETECTOR_SPL_INITIALISED = 1,
    LEVEL_DETECTOR_SPL_HIGH_THRESHOLD_PASSED = 2,
    LEVEL_DETECTOR_SPL_LOW_THRESHOLD_PASSED = 4,
    LEVEL_DETECTOR_SPL_CLAP = 8,
    LEVEL_DETECTOR_SPL_DEFAULT_WINDOW_SIZE = 128,
    LEVEL_DETECTOR_SPL_NORMALIZE = 1,
    LEVEL_DETECTOR_SPL_MIN_BUFFERS = 2,
    LEVEL_DETECTOR_SPL_DB = 1,
    LEVEL_DETECTOR_SPL_8BIT = 2,
    LEVEL_DETECTOR_SPL_BEGIN_POSS_CLAP_RMS = 200,
    LEVEL_DETECTOR_SPL_MIN_IN_CLAP_RMS = 300,
    LEVEL_DETECTOR_SPL_CLAP_OVER_RMS = 100,
    LEVEL_DETECTOR_SPL_CLAP_MAX_LOUD_BLOCKS = 13,
    LEVEL_DETECTOR_SPL_CLAP_MIN_LOUD_BLOCKS = 2,
    LEVEL_DETECTOR_SPL_CLAP_MIN_QUIET_BLOCKS = 20,
    // /libraries/codal-core/inc/streams/MemorySource.h
    MEMORY_SOURCE_DEFAULT_MAX_BUFFER = 256,
    // /libraries/codal-core/inc/streams/StreamFlowTrigger.h
    TRIGGER_PULL = 1,
    TRIGGER_REQUEST = 2,
    // /libraries/codal-core/inc/streams/StreamRecording.h
    CODAL_DEFAULT_STREAM_RECORDING_MAX_LENGTH = 50000,
    REC_STATE_STOPPED = 0,
    REC_STATE_PLAYING = 1,
    REC_STATE_RECORDING = 2,
    // /libraries/codal-core/inc/streams/StreamSplitter.h
    CONFIG_MAX_CHANNELS = 10,
    CONFIG_SPLITTER_OVERSAMPLE_STEP = 16,
    SPLITTER_CHANNEL_CONNECT = 1,
    SPLITTER_CHANNEL_DISCONNECT = 2,
    SPLITTER_ACTIVATE = 3,
    SPLITTER_DEACTIVATE = 4,
    SPLITTER_TICK = 10,
    // /libraries/codal-core/inc/streams/Synthesizer.h
    SYNTHESIZER_SAMPLE_RATE = 44100,
    TONE_WIDTH = 1024,
    // /libraries/codal-core/inc/types/BitmapFont.h
    BITMAP_FONT_WIDTH = 5,
    BITMAP_FONT_HEIGHT = 5,
    BITMAP_FONT_ASCII_START = 32,
    BITMAP_FONT_ASCII_END = 126,
    // /libraries/codal-core/inc/types/CoordinateSystem.h
    COORDINATE_SPACE_ROTATED_0 = 0,
    COORDINATE_SPACE_ROTATED_90 = 1,
    COORDINATE_SPACE_ROTATED_180 = 2,
    COORDINATE_SPACE_ROTATED_270 = 3,
    RAW = 0,
    SIMPLE_CARTESIAN = 1,
    NORTH_EAST_DOWN = 2,
    EAST_NORTH_UP = 3,
    NORTH_EAST_UP = 3,
    // /libraries/codal-core/inc/types/Event.h
    DEVICE_ID_ANY = 0,
    DEVICE_EVT_ANY = 0,
    CREATE_ONLY = 0,
    CREATE_AND_FIRE = 1,
    DEVICE_EVENT_DEFAULT_LAUNCH_MODE = 1,
    // /libraries/codal-core/inc/types/ManagedBuffer.h
    Zero = 1,
    // /libraries/codal-microbit-v2/inc/FSCache.h
    FSCACHE_FLAG_PINNED = 1,
    CODAL_FS_CACHE_VALIDATE = 1,
    CODAL_FS_DEFAULT_CACHE_SZE = 4,
    // /libraries/codal-microbit-v2/inc/MicroBitAudio.h
    MICROBIT_AUDIO_STATUS_DEEPSLEEP = 1,
    // /libraries/codal-microbit-v2/inc/MicroBitBLEServices.h
    MICROBIT_BLE_SERVICES_MAX = 20,
    MICROBIT_BLE_SERVICES_OBSERVER_PRIO = 2,
    // /libraries/codal-microbit-v2/inc/MicroBitDevice.h
    MICROBIT_NAME_LENGTH = 5,
    MICROBIT_NAME_CODE_LETTERS = 5,
    // /libraries/codal-microbit-v2/inc/MicroBitFile.h
    READ = 1,
    WRITE = 2,
    READ_AND_WRITE = 3,
    CREATE = 4,
    // /libraries/codal-microbit-v2/inc/MicroBitFileSystem.h
    MBFS_FILENAME_LENGTH = 16,
    MB_READ = 1,
    MB_WRITE = 2,
    MB_CREAT = 4,
    MB_APPEND = 8,
    MB_SEEK_SET = 1,
    MB_SEEK_END = 2,
    MB_SEEK_CUR = 4,
    MBFS_STATUS_INITIALISED = 1,
    MBFS_UNUSED = 65535,
    MBFS_EOF = 61439,
    MBFS_DELETED = 0,
    MBFS_DIRECTORY_ENTRY_FREE = 32768,
    MBFS_DIRECTORY_ENTRY_VALID = 16384,
    MBFS_DIRECTORY_ENTRY_DIRECTORY = 8192,
    MBFS_DIRECTORY_ENTRY_NEW = 65535,
    MBFS_DIRECTORY_ENTRY_DELETED = 0,
    MBFS_BLOCK_TYPE_FILE = 1,
    MBFS_BLOCK_TYPE_DIRECTORY = 2,
    MBFS_BLOCK_TYPE_FILETABLE = 3,
    // /libraries/codal-microbit-v2/inc/MicroBitLog.h
    CONFIG_MICROBIT_LOG_METADATA_SIZE = 2048,
    CONFIG_MICROBIT_LOG_JOURNAL_SIZE = 4096,
    CONFIG_MICROBIT_LOG_CACHE_BLOCK_SIZE = 256,
    MICROBIT_LOG_JOURNAL_ENTRY_SIZE = 8,
    MICROBIT_LOG_STATUS_INITIALIZED = 1,
    MICROBIT_LOG_STATUS_ROW_STARTED = 2,
    MICROBIT_LOG_STATUS_FULL = 4,
    MICROBIT_LOG_STATUS_SERIAL_MIRROR = 8,
    MICROBIT_LOG_EVT_LOG_FULL = 1,
    Milliseconds = 1,
    Seconds = 10,
    Minutes = 600,
    Hours = 36000,
    Days = 864000,
    HTMLHeader = 0,
    HTML = 1,
    CSV = 2,
    // /libraries/codal-microbit-v2/inc/MicroBitMemoryMap.h
    NUMBER_OF_REGIONS = 3,
    REGION_SD = 0,
    REGION_CODAL = 1,
    REGION_MAKECODE = 2,
    REGION_PYTHON = 3,
    // /libraries/codal-microbit-v2/inc/MicroBitPowerManager.h
    MICROBIT_UIPM_MAX_BUFFER_SIZE = 12,
    MICROBIT_UIPM_MAX_RETRIES = 20,
    MICROBIT_USB_INTERFACE_IRQ_THRESHOLD = 30,
    MICROBIT_UIPM_COMMAND_READ_REQUEST = 16,
    MICROBIT_UIPM_COMMAND_READ_RESPONSE = 17,
    MICROBIT_UIPM_COMMAND_WRITE_REQUEST = 18,
    MICROBIT_UIPM_COMMAND_WRITE_RESPONSE = 19,
    MICROBIT_UIPM_COMMAND_ERROR_RESPONSE = 32,
    MICROBIT_UIPM_PROPERTY_BOARD_REVISION = 1,
    MICROBIT_UIPM_PROPERTY_I2C_VERSION = 2,
    MICROBIT_UIPM_PROPERTY_DAPLINK_VERSION = 3,
    MICROBIT_UIPM_PROPERTY_POWER_SOURCE = 4,
    MICROBIT_UIPM_PROPERTY_POWER_CONSUMPTION = 5,
    MICROBIT_UIPM_PROPERTY_USB_STATE = 6,
    MICROBIT_UIPM_PROPERTY_KL27_POWER_MODE = 7,
    MICROBIT_UIPM_PROPERTY_KL27_POWER_LED_STATE = 8,
    MICROBIT_UIPM_PROPERTY_KL27_USER_EVENT = 9,
    MICROBIT_UIPM_EVENT_WAKE_RESET = 1,
    MICROBIT_UIPM_EVENT_WAKE_USB_INSERTION = 2,
    MICROBIT_UIPM_EVENT_RESET_LONG_PRESS = 3,
    MICROBIT_UIPM_SUCCESS = 48,
    MICROBIT_UIPM_INCOMPLETE_CMD = 49,
    MICROBIT_UIPM_UNKNOWN_CMD = 50,
    MICROBIT_UIPM_FORBIDDEN = 51,
    MICROBIT_UIPM_NOT_RECOGNISED = 52,
    MICROBIT_UIPM_BAD_LENGTH = 53,
    MICROBIT_UIPM_READ_FORBIDDEN = 54,
    MICROBIT_UIPM_WRITE_FORBIDDEN = 55,
    MICROBIT_UIPM_WRITE_FAIL = 56,
    MICROBIT_UIPM_BUSY = 57,
    MICROBIT_USB_INTERFACE_POWER_MODE_VLPS = 6,
    MICROBIT_USB_INTERFACE_POWER_MODE_VLLS0 = 8,
    MICROBIT_USB_INTERFACE_AWAITING_RESPONSE = 1,
    MICROBIT_USB_INTERFACE_VERSION_LOADED = 2,
    MICROBIT_USB_INTERFACE_ALWAYS_NOP = 4,
    MICROBIT_USB_INTERFACE_BUSY_FLAG_SUPPORTED = 32,
    CONFIG_MINIMUM_DEEP_SLEEP_TIME = 100,
    CONFIG_MINIMUM_POWER_ON_TIME = 500,
    // /libraries/codal-microbit-v2/inc/MicroBitRadio.h
    MICROBIT_RADIO_STATUS_INITIALISED = 1,
    MICROBIT_RADIO_STATUS_DEEPSLEEP_IRQ = 2,
    MICROBIT_RADIO_STATUS_DEEPSLEEP_INIT = 4,
    MICROBIT_RADIO_BASE_ADDRESS = 1969383796,
    MICROBIT_RADIO_DEFAULT_GROUP = 0,
    MICROBIT_RADIO_DEFAULT_TX_POWER = 6,
    MICROBIT_RADIO_DEFAULT_FREQUENCY = 7,
    MICROBIT_RADIO_HEADER_SIZE = 4,
    MICROBIT_RADIO_MAXIMUM_RX_BUFFERS = 4,
    MICROBIT_RADIO_POWER_LEVELS = 8,
    MICROBIT_RADIO_PROTOCOL_DATAGRAM = 1,
    MICROBIT_RADIO_PROTOCOL_EVENTBUS = 2,
    MICROBIT_RADIO_EVT_DATAGRAM = 1,
    // /libraries/codal-microbit-v2/inc/MicroBitThermometer.h
    MICROBIT_THERMOMETER_PERIOD = 1000,
    MICROBIT_THERMOMETER_EVT_UPDATE = 1,
    // /libraries/codal-microbit-v2/inc/MicroBitUSBFlashManager.h
    MICROBIT_USB_FLASH_MAX_TX_RETRIES = 20,
    MICROBIT_USB_FLASH_MAX_RX_RETRIES = 20,
    MICROBIT_USB_FLASH_MAX_FLASH_STORAGE = 126976,
    MICROBIT_USB_FLASH_FILENAME_CMD = 1,
    MICROBIT_USB_FLASH_FILESIZE_CMD = 2,
    MICROBIT_USB_FLASH_VISIBILITY_CMD = 3,
    MICROBIT_USB_FLASH_WRITE_CONFIG_CMD = 4,
    MICROBIT_USB_FLASH_ERASE_CONFIG_CMD = 5,
    MICROBIT_USB_FLASH_DISK_SIZE_CMD = 6,
    MICROBIT_USB_FLASH_SECTOR_SIZE_CMD = 7,
    MICROBIT_USB_FLASH_REMOUNT_CMD = 8,
    MICROBIT_USB_FLASH_STATUS_CMD = 9,
    MICROBIT_USB_FLASH_READ_CMD = 10,
    MICROBIT_USB_FLASH_WRITE_CMD = 11,
    MICROBIT_USB_FLASH_ERASE_CMD = 12,
    MICROBIT_USB_FLASH_AWAITING_RESPONSE = 1,
    MICROBIT_USB_FLASH_GEOMETRY_LOADED = 2,
    MICROBIT_USB_FLASH_CONFIG_LOADED = 4,
    MICROBIT_USB_FLASH_SINGLE_PAGE_ERASE_ONLY = 8,
    MICROBIT_USB_FLASH_USE_NULL_TRANSACTION = 16,
    MICROBIT_USB_FLASH_BUSY_FLAG_SUPPORTED = 32,
    MICROBIT_USB_FLASH_100MS_AFTER_ERASE = 64,
    // /libraries/codal-microbit-v2/inc/MicroSynth.h
    Saw = 0,
    Pulse = 1,
    Triangle = 2,
    LPF = 0,
    HPF = 1,
    BPF = 2,
    // /libraries/codal-microbit-v2/inc/Mixer2.h
    CONFIG_MIXER_BUFFER_SIZE = 512,
    CONFIG_MIXER_INTERNAL_RANGE = 1023,
    CONFIG_MIXER_DEFAULT_SAMPLERATE = 44100,
    CONFIG_MIXER_DEFAULT_CHANNEL_SAMPLERATE = 44100,
    DEVICE_ID_MIXER = 3030,
    DEVICE_MIXER_EVT_SILENCE = 1,
    DEVICE_MIXER_EVT_SOUND = 2,
    // /libraries/codal-microbit-v2/inc/NRF52LedMatrix.h
    NRF52_LED_MATRIX_CLOCK_FREQUENCY = 16000000,
    NRF52_LED_MATRIX_FREQUENCY = 60,
    NRF52_LED_MATRIX_MAXIMUM_COLUMNS = 5,
    NRF52_LED_MATRIX_LIGHTSENSE_STROBES = 4,
    NRF52_LEDMATRIX_GPIOTE_CHANNEL_BASE = 1,
    NRF52_LEDMATRIX_PPI_CHANNEL_BASE = 3,
    NRF52_LEDMATRIX_STATUS_RESET = 1,
    NRF52_LEDMATRIX_STATUS_LIGHTREADY = 2,
    // /libraries/codal-microbit-v2/inc/SoundEmojiSynthesizer.h
    CONFIG_EMOJI_SYNTHESIZER_OUTPUT_BUFFER_DEPTH = 3,
    EMOJI_SYNTHESIZER_SAMPLE_RATE = 44100,
    EMOJI_SYNTHESIZER_TONE_WIDTH = 1024,
    EMOJI_SYNTHESIZER_BUFFER_SIZE = 512,
    EMOJI_SYNTHESIZER_TONE_EFFECT_PARAMETERS = 2,
    EMOJI_SYNTHESIZER_TONE_EFFECTS = 3,
    EMOJI_SYNTHESIZER_STATUS_ACTIVE = 1,
    EMOJI_SYNTHESIZER_STATUS_OUTPUT_SILENCE_AS_EMPTY = 2,
    EMOJI_SYNTHESIZER_STATUS_STOPPING = 4,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_0 = 3010,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_1 = 3011,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_2 = 3012,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_3 = 3013,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_4 = 3014,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_5 = 3015,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_6 = 3016,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_7 = 3017,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_8 = 3018,
    DEVICE_ID_SOUND_EMOJI_SYNTHESIZER_9 = 3019,
    DEVICE_SOUND_EMOJI_SYNTHESIZER_EVT_DONE = 1,
    DEVICE_SOUND_EMOJI_SYNTHESIZER_EVT_PLAYBACK_COMPLETE = 2,
    SFX_DEFAULT_VIBRATO_STEPS = 512,
    SFX_DEFAULT_VIBRATO_PARAM = 2,
    SFX_DEFAULT_TREMOLO_STEPS = 900,
    SFX_DEFAULT_TREMOLO_PARAM = 3,
    SFX_DEFAULT_WARBLE_STEPS = 700,
    SFX_DEFAULT_WARBLE_PARAM = 2,
    // /libraries/codal-microbit-v2/inc/SoundOutputPin.h
    CONFIG_SOUND_OUTPUT_PIN_PERIOD = 5,
    CONFIG_SOUND_OUTPUT_PIN_SILENCE_GATE = 100,
    SOUND_OUTPUT_PIN_SAMPLE_RATE = 44100,
    SOUND_OUTPUT_PIN_BUFFER_SIZE = 512,
    CONFIG_SOUND_OUTPUT_PIN_DISCRETE_OUTPUT = 1,
    SOUND_OUTPUT_PIN_STATUS_ENABLED = 1,
    SOUND_OUTPUT_PIN_STATUS_ACTIVE = 2,
    CONFIG_SOUND_OUTPUT_PIN_TONEPRINT = 0,
    // /libraries/codal-microbit-v2/inc/bluetooth/ExternalEvents.h
    MICROBIT_ID_BLE = 1000,
    MICROBIT_ID_BLE_UART = 1200,
    MICROBIT_BLE_EVT_CONNECTED = 1,
    MICROBIT_BLE_EVT_DISCONNECTED = 2,
    // /libraries/codal-microbit-v2/inc/bluetooth/MESEvents.h
    MES_REMOTE_CONTROL_ID = 1001,
    MES_REMOTE_CONTROL_EVT_PLAY = 1,
    MES_REMOTE_CONTROL_EVT_PAUSE = 2,
    MES_REMOTE_CONTROL_EVT_STOP = 3,
    MES_REMOTE_CONTROL_EVT_NEXTTRACK = 4,
    MES_REMOTE_CONTROL_EVT_PREVTRACK = 5,
    MES_REMOTE_CONTROL_EVT_FORWARD = 6,
    MES_REMOTE_CONTROL_EVT_REWIND = 7,
    MES_REMOTE_CONTROL_EVT_VOLUMEUP = 8,
    MES_REMOTE_CONTROL_EVT_VOLUMEDOWN = 9,
    MES_CAMERA_ID = 1002,
    MES_CAMERA_EVT_LAUNCH_PHOTO_MODE = 1,
    MES_CAMERA_EVT_LAUNCH_VIDEO_MODE = 2,
    MES_CAMERA_EVT_TAKE_PHOTO = 3,
    MES_CAMERA_EVT_START_VIDEO_CAPTURE = 4,
    MES_CAMERA_EVT_STOP_VIDEO_CAPTURE = 5,
    MES_CAMERA_EVT_STOP_PHOTO_MODE = 6,
    MES_CAMERA_EVT_STOP_VIDEO_MODE = 7,
    MES_CAMERA_EVT_TOGGLE_FRONT_REAR = 8,
    MES_ALERTS_ID = 1004,
    MES_ALERT_EVT_DISPLAY_TOAST = 1,
    MES_ALERT_EVT_VIBRATE = 2,
    MES_ALERT_EVT_PLAY_SOUND = 3,
    MES_ALERT_EVT_PLAY_RINGTONE = 4,
    MES_ALERT_EVT_FIND_MY_PHONE = 5,
    MES_ALERT_EVT_ALARM1 = 6,
    MES_ALERT_EVT_ALARM2 = 7,
    MES_ALERT_EVT_ALARM3 = 8,
    MES_ALERT_EVT_ALARM4 = 9,
    MES_ALERT_EVT_ALARM5 = 10,
    MES_ALERT_EVT_ALARM6 = 11,
    MES_SIGNAL_STRENGTH_ID = 1101,
    MES_SIGNAL_STRENGTH_EVT_NO_BAR = 1,
    MES_SIGNAL_STRENGTH_EVT_ONE_BAR = 2,
    MES_SIGNAL_STRENGTH_EVT_TWO_BAR = 3,
    MES_SIGNAL_STRENGTH_EVT_THREE_BAR = 4,
    MES_SIGNAL_STRENGTH_EVT_FOUR_BAR = 5,
    MES_DEVICE_INFO_ID = 1103,
    MES_DEVICE_ORIENTATION_LANDSCAPE = 1,
    MES_DEVICE_ORIENTATION_PORTRAIT = 2,
    MES_DEVICE_GESTURE_NONE = 3,
    MES_DEVICE_GESTURE_DEVICE_SHAKEN = 4,
    MES_DEVICE_DISPLAY_OFF = 5,
    MES_DEVICE_DISPLAY_ON = 6,
    MES_DEVICE_INCOMING_CALL = 7,
    MES_DEVICE_INCOMING_MESSAGE = 8,
    MES_DPAD_CONTROLLER_ID = 1104,
    MES_DPAD_BUTTON_A_DOWN = 1,
    MES_DPAD_BUTTON_A_UP = 2,
    MES_DPAD_BUTTON_B_DOWN = 3,
    MES_DPAD_BUTTON_B_UP = 4,
    MES_DPAD_BUTTON_C_DOWN = 5,
    MES_DPAD_BUTTON_C_UP = 6,
    MES_DPAD_BUTTON_D_DOWN = 7,
    MES_DPAD_BUTTON_D_UP = 8,
    MES_DPAD_BUTTON_1_DOWN = 9,
    MES_DPAD_BUTTON_1_UP = 10,
    MES_DPAD_BUTTON_2_DOWN = 11,
    MES_DPAD_BUTTON_2_UP = 12,
    MES_DPAD_BUTTON_3_DOWN = 13,
    MES_DPAD_BUTTON_3_UP = 14,
    MES_DPAD_BUTTON_4_DOWN = 15,
    MES_DPAD_BUTTON_4_UP = 16,
    MES_BROADCAST_GENERAL_ID = 2000,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitBLEManager.h
    MICROBIT_BLE_PAIR_REQUEST = 1,
    MICROBIT_BLE_PAIR_COMPLETE = 2,
    MICROBIT_BLE_PAIR_PASSCODE = 4,
    MICROBIT_BLE_PAIR_SUCCESSFUL = 8,
    MICROBIT_BLE_PAIRING_TIMEOUT = 90,
    MICROBIT_BLE_POWER_LEVELS = 8,
    MICROBIT_BLE_EDDYSTONE_ADV_INTERVAL = 400,
    MICROBIT_BLE_EDDYSTONE_DEFAULT_POWER = 240,
    MICROBIT_BLE_STATUS_DISCONNECT = 4,
    MICROBIT_BLE_STATUS_SHUTDOWN = 8,
    MICROBIT_MODE_PAIRING = 0,
    MICROBIT_MODE_APPLICATION = 1,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitBLETypes.h
    MICROBIT_DMESG_LEVEL_OFF = 0,
    MICROBIT_DMESG_LEVEL_ERROR = 1,
    MICROBIT_DMESG_LEVEL_WARNING = 2,
    MICROBIT_DMESG_LEVEL_INFO = 3,
    MICROBIT_DMESG_LEVEL_DEBUG = 4,
    MICROBIT_DMESG_LEVEL = 0,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitIOPinService.h
    MICROBIT_IO_PIN_SERVICE_PINCOUNT = 19,
    MICROBIT_IO_PIN_SERVICE_DATA_SIZE = 10,
    MICROBIT_PWM_PIN_SERVICE_DATA_SIZE = 2,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitLEDService.h
    MICROBIT_BLE_MAXIMUM_SCROLLTEXT = 20,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitMagnetometerService.h
    COMPASS_CALIBRATION_STATUS_UNKNOWN = 0,
    COMPASS_CALIBRATION_REQUESTED = 1,
    COMPASS_CALIBRATION_COMPLETED_OK = 2,
    COMPASS_CALIBRATION_COMPLETED_ERR = 3,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitPartialFlashingService.h
    PARTIAL_FLASHING_VERSION = 1,
    REGION_INFO = 0,
    FLASH_DATA = 1,
    END_OF_TRANSMISSION = 2,
    MICROBIT_STATUS = 238,
    MICROBIT_RESET = 255,
    // /libraries/codal-microbit-v2/inc/bluetooth/MicroBitUARTService.h
    MICROBIT_UART_S_DEFAULT_BUF_SIZE = 20,
    MICROBIT_UART_S_EVT_DELIM_MATCH = 1,
    MICROBIT_UART_S_EVT_HEAD_MATCH = 2,
    MICROBIT_UART_S_EVT_RX_FULL = 3,
    // /libraries/codal-microbit-v2/inc/compat/MicroBitCompat.h
    MICROBIT_BUSY = -1006,
    MICROBIT_CANCELLED = -1007,
    MICROBIT_CALIBRATION_IN_PROGRESS = -1003,
    MICROBIT_CALIBRATION_REQUIRED = -1004,
    MICROBIT_HEAP_ERROR = 30,
    MICROBIT_I2C_ERROR = -1010,
    MICROBIT_INVALID_PARAMETER = -1001,
    MICROBIT_NO_DATA = -1012,
    MICROBIT_NO_RESOURCES = -1005,
    MICROBIT_NOT_SUPPORTED = -1002,
    MICROBIT_NULL_DEREFERENCE = 40,
    MICROBIT_OK = 0,
    MICROBIT_OOM = 20,
    MICROBIT_SERIAL_IN_USE = -1011,
    MICROBIT_ACCELEROMETER_3G_TOLERANCE = 3072,
    MICROBIT_ACCELEROMETER_6G_TOLERANCE = 6144,
    MICROBIT_ACCELEROMETER_8G_TOLERANCE = 8192,
    MICROBIT_ACCELEROMETER_FREEFALL_TOLERANCE = 400,
    MICROBIT_ACCELEROMETER_GESTURE_DAMPING = 5,
    MICROBIT_ACCELEROMETER_REST_TOLERANCE = 200,
    MICROBIT_ACCELEROMETER_SHAKE_COUNT_THRESHOLD = 4,
    MICROBIT_ACCELEROMETER_SHAKE_DAMPING = 10,
    MICROBIT_ACCELEROMETER_SHAKE_RTX = 30,
    MICROBIT_ACCELEROMETER_SHAKE_TOLERANCE = 400,
    MICROBIT_ACCELEROMETER_TILT_TOLERANCE = 200,
    MICROBIT_COMPONENT_RUNNING = 4096,
    MICROBIT_DEFAULT_PRINT_SPEED = 400,
    MICROBIT_DEFAULT_SCROLL_SPEED = 120,
    MICROBIT_DEFAULT_SCROLL_STRIDE = -1,
    MICROBIT_DISPLAY_DEFAULT_AUTOCLEAR = 1,
    MICROBIT_DISPLAY_DEFAULT_BRIGHTNESS = 255,
    MICROBIT_DISPLAY_GREYSCALE_BIT_DEPTH = 8,
    MICROBIT_DISPLAY_MAXIMUM_BRIGHTNESS = 255,
    MICROBIT_DISPLAY_MINIMUM_BRIGHTNESS = 1,
    MICROBIT_DISPLAY_ROTATION_0 = 0,
    MICROBIT_DISPLAY_ROTATION_180 = 2,
    MICROBIT_DISPLAY_ROTATION_270 = 3,
    MICROBIT_DISPLAY_ROTATION_90 = 1,
    MICROBIT_EVENT_DEFAULT_LAUNCH_MODE = 1,
    MICROBIT_DISPLAY_ANIMATE_DEFAULT_POS = -255,
    MICROBIT_FONT_ASCII_END = 126,
    MICROBIT_FONT_ASCII_START = 32,
    MICROBIT_FONT_HEIGHT = 5,
    MICROBIT_FONT_WIDTH = 5,
    MICROBIT_I2C_MAX_RETRIES = 1,
    MICROBIT_PIN_DEFAULT_SERVO_CENTER = 1500,
    MICROBIT_PIN_DEFAULT_SERVO_RANGE = 2000,
    MICROBIT_PIN_EVENT_NONE = 0,
    MICROBIT_PIN_EVENT_ON_EDGE = 2,
    MICROBIT_PIN_EVENT_ON_PULSE = 3,
    MICROBIT_PIN_EVENT_ON_TOUCH = 4,
    MICROBIT_PIN_EVT_FALL = 3,
    MICROBIT_PIN_EVT_PULSE_HI = 4,
    MICROBIT_PIN_EVT_PULSE_LO = 5,
    MICROBIT_PIN_EVT_RISE = 2,
    MICROBIT_PIN_MAX_OUTPUT = 1023,
    MICROBIT_PIN_MAX_SERVO_RANGE = 180,
    MICROBIT_UART_S_EVT_TX_EMPTY = 3,
    MICROBIT_ACCELEROMETER_EVT_3G = 8,
    MICROBIT_ACCELEROMETER_EVT_6G = 9,
    MICROBIT_ACCELEROMETER_EVT_8G = 10,
    MICROBIT_ACCELEROMETER_EVT_DATA_UPDATE = 1,
    MICROBIT_ACCELEROMETER_EVT_FACE_DOWN = 6,
    MICROBIT_ACCELEROMETER_EVT_FACE_UP = 5,
    MICROBIT_ACCELEROMETER_EVT_FREEFALL = 7,
    MICROBIT_ACCELEROMETER_EVT_NONE = 0,
    MICROBIT_ACCELEROMETER_EVT_SHAKE = 11,
    MICROBIT_ACCELEROMETER_EVT_TILT_DOWN = 2,
    MICROBIT_ACCELEROMETER_EVT_TILT_LEFT = 3,
    MICROBIT_ACCELEROMETER_EVT_TILT_RIGHT = 4,
    MICROBIT_ACCELEROMETER_EVT_TILT_UP = 1,
    MICROBIT_BUTTON_ALL_EVENTS = 1,
    MICROBIT_BUTTON_SIMPLE_EVENTS = 0,
    MICROBIT_BUTTON_EVT_CLICK = 3,
    MICROBIT_BUTTON_EVT_DOUBLE_CLICK = 6,
    MICROBIT_BUTTON_EVT_DOWN = 1,
    MICROBIT_BUTTON_EVT_HOLD = 5,
    MICROBIT_BUTTON_EVT_LONG_CLICK = 4,
    MICROBIT_BUTTON_EVT_UP = 2,
    MICROBIT_COMPASS_EVT_CALIBRATE = 3,
    MICROBIT_COMPASS_EVT_CONFIG_NEEDED = 2,
    MICROBIT_COMPASS_EVT_DATA_UPDATE = 1,
    MICROBIT_COMPASS_EVT_CALIBRATION_NEEDED = 4,
    MICROBIT_DISPLAY_EVT_ANIMATION_COMPLETE = 1,
    MICROBIT_DISPLAY_EVT_FREE = 1,
    MICROBIT_SERIAL_EVT_DELIM_MATCH = 1,
    MICROBIT_SERIAL_EVT_HEAD_MATCH = 2,
    MICROBIT_SERIAL_EVT_RX_FULL = 3,
    MICROBIT_SERIAL_EVT_TX_EMPTY = 2,
    MICROBIT_ID_ANY = 0,
    MICROBIT_EVT_ANY = 0,
    MICROBIT_ID_ACCELEROMETER = 5,
    MICROBIT_ID_BUTTON_A = 1,
    MICROBIT_ID_BUTTON_B = 2,
    MICROBIT_ID_BUTTON_AB = 3,
    MICROBIT_ID_BUTTON_RESET = 4,
    MICROBIT_ID_COMPASS = 6,
    MICROBIT_ID_DISPLAY = 7,
    MICROBIT_ID_GESTURE = 13,
    MICROBIT_ID_IO_P0 = 100,
    MICROBIT_ID_IO_P1 = 101,
    MICROBIT_ID_IO_P2 = 102,
    MICROBIT_ID_IO_P3 = 103,
    MICROBIT_ID_IO_P4 = 104,
    MICROBIT_ID_IO_P5 = 105,
    MICROBIT_ID_IO_P6 = 106,
    MICROBIT_ID_IO_P7 = 107,
    MICROBIT_ID_IO_P8 = 108,
    MICROBIT_ID_IO_P9 = 109,
    MICROBIT_ID_IO_P10 = 110,
    MICROBIT_ID_IO_P11 = 111,
    MICROBIT_ID_IO_P12 = 112,
    MICROBIT_ID_IO_P13 = 113,
    MICROBIT_ID_IO_P14 = 114,
    MICROBIT_ID_IO_P15 = 115,
    MICROBIT_ID_IO_P16 = 116,
    MICROBIT_ID_IO_P19 = 119,
    MICROBIT_ID_IO_P20 = 120,
    MICROBIT_ID_LOGO = 121,
    MICROBIT_ID_MESSAGE_BUS_LISTENER = 1021,
    MICROBIT_ID_MULTIBUTTON_ATTACH = 11,
    MICROBIT_ID_NOTIFY = 1023,
    MICROBIT_ID_NOTIFY_ONE = 1022,
    MICROBIT_ID_RADIO = 9,
    MICROBIT_ID_RADIO_DATA_READY = 10,
    MICROBIT_ID_SERIAL = 12,
    MICROBIT_ID_THERMOMETER = 8,
    MICROBIT_ID_POWER_MANAGER = 40,
    MICROBIT_ID_PARTIAL_FLASHING = 41,
    MICROBIT_ID_USB_FLASH_MANAGER = 42,
    MICROBIT_ID_VIRTUAL_SPEAKER_PIN = 43,
    MICROBIT_ID_LOG = 44,
    MICROBIT_ID_UTILITY = 45,
    MICROBIT_NESTED_HEAP_SIZE = 0,
    MICROBIT_SCHEDULER_RUNNING = 1,
    MICROBIT_SERIAL_DEFAULT_BAUD_RATE = 115200,
    MICROBIT_SERIAL_DEFAULT_BUFFER_SIZE = 20,
    MICROBIT_ACCEL_ADDED_TO_IDLE = 8,
    MICROBIT_COMPASS_STATUS_ADDED_TO_IDLE = 8,
    // /libraries/codal-microbit-v2/model/MicroBit.h
    DEVICE_INITIALIZED = 1,
    KL27_POWER_ON_DELAY = 1000,
    DEVICE_ID_MICROPHONE = 3001,
    // /libraries/codal-microbit-v2/model/MicroBitIO.h
    MICROBIT_PIN_BUTTON_RESET = -1,
    ID_PIN_P0 = 100,
    ID_PIN_P1 = 101,
    ID_PIN_P2 = 102,
    ID_PIN_P3 = 103,
    ID_PIN_P4 = 104,
    ID_PIN_P5 = 105,
    ID_PIN_P6 = 106,
    ID_PIN_P7 = 107,
    ID_PIN_P8 = 108,
    ID_PIN_P9 = 109,
    ID_PIN_P10 = 110,
    ID_PIN_P11 = 111,
    ID_PIN_P12 = 112,
    ID_PIN_P13 = 113,
    ID_PIN_P14 = 114,
    ID_PIN_P15 = 115,
    ID_PIN_P16 = 116,
    ID_PIN_P17 = 117,
    ID_PIN_P18 = 118,
    ID_PIN_P19 = 119,
    ID_PIN_P20 = 120,
    ID_PIN_LOGO = 121,
    ID_PIN_SPEAKER = 122,
    ID_PIN_RUNMIC = 123,
    ID_PIN_SDA = 124,
    ID_PIN_SCL = 125,
    ID_PIN_ROW1 = 126,
    ID_PIN_ROW2 = 127,
    ID_PIN_ROW3 = 128,
    ID_PIN_ROW4 = 129,
    ID_PIN_ROW5 = 130,
    ID_PIN_USBTX = 131,
    ID_PIN_USBRX = 132,
    ID_PIN_IRQ1 = 133,
    ID_PIN_MIC = 134,
    ID_PIN_P35 = 135,
    ID_PIN_P36 = 136,
    ID_PIN_P37 = 137,
    ID_PIN_P38 = 138,
    ID_PIN_P39 = 139,
    ID_PIN_P40 = 140,
    ID_PIN_P41 = 141,
    ID_PIN_P42 = 142,
    ID_PIN_P43 = 143,
    ID_PIN_P44 = 144,
    ID_PIN_P45 = 145,
    ID_PIN_P46 = 146,
    ID_PIN_P47 = 147,
    IO_SAVED_STATUS_OUTPUT_NA = 0,
    IO_SAVED_STATUS_OUTPUT_LO = 1,
    IO_SAVED_STATUS_OUTPUT_HI = 2,
    IO_SAVED_STATUS_DETECT_LOW_ENABLED = 4,
    IO_SAVED_STATUS_DETECT_HIGH_ENABLED = 8,
    IO_SAVED_STATUS_SAVED = 1,
    // /pxtapp/configkeys.h
    CFG_PIN_NAME_MSK = 65535,
    CFG_PIN_CONFIG_MSK = 4294901760,
    CFG_PIN_CONFIG_ACTIVE_LO = 65536,
    CFG_MAGIC0 = 513675505,
    CFG_MAGIC1 = 539130489,
    CFG_PIN_ACCELEROMETER_INT = 1,
    CFG_PIN_ACCELEROMETER_SCL = 2,
    CFG_PIN_ACCELEROMETER_SDA = 3,
    CFG_PIN_BTN_A = 4,
    CFG_PIN_BTN_B = 5,
    CFG_PIN_BTN_SLIDE = 6,
    CFG_PIN_DOTSTAR_CLOCK = 7,
    CFG_PIN_DOTSTAR_DATA = 8,
    CFG_PIN_FLASH_CS = 9,
    CFG_PIN_FLASH_MISO = 10,
    CFG_PIN_FLASH_MOSI = 11,
    CFG_PIN_FLASH_SCK = 12,
    CFG_PIN_LED = 13,
    CFG_PIN_LIGHT = 14,
    CFG_PIN_MICROPHONE = 15,
    CFG_PIN_MIC_CLOCK = 16,
    CFG_PIN_MIC_DATA = 17,
    CFG_PIN_MISO = 18,
    CFG_PIN_MOSI = 19,
    CFG_PIN_NEOPIXEL = 20,
    CFG_PIN_RX = 21,
    CFG_PIN_RXLED = 22,
    CFG_PIN_SCK = 23,
    CFG_PIN_SCL = 24,
    CFG_PIN_SDA = 25,
    CFG_PIN_SPEAKER_AMP = 26,
    CFG_PIN_TEMPERATURE = 27,
    CFG_PIN_TX = 28,
    CFG_PIN_TXLED = 29,
    CFG_PIN_IR_OUT = 30,
    CFG_PIN_IR_IN = 31,
    CFG_PIN_DISPLAY_SCK = 32,
    CFG_PIN_DISPLAY_MISO = 33,
    CFG_PIN_DISPLAY_MOSI = 34,
    CFG_PIN_DISPLAY_CS = 35,
    CFG_PIN_DISPLAY_DC = 36,
    CFG_DISPLAY_WIDTH = 37,
    CFG_DISPLAY_HEIGHT = 38,
    CFG_DISPLAY_CFG0 = 39,
    CFG_DISPLAY_CFG1 = 40,
    CFG_DISPLAY_CFG2 = 41,
    CFG_DISPLAY_CFG3 = 42,
    CFG_PIN_DISPLAY_RST = 43,
    CFG_PIN_DISPLAY_BL = 44,
    CFG_PIN_SERVO_1 = 45,
    CFG_PIN_SERVO_2 = 46,
    CFG_PIN_BTN_LEFT = 47,
    CFG_PIN_BTN_RIGHT = 48,
    CFG_PIN_BTN_UP = 49,
    CFG_PIN_BTN_DOWN = 50,
    CFG_PIN_BTN_MENU = 51,
    CFG_PIN_LED_R = 52,
    CFG_PIN_LED_G = 53,
    CFG_PIN_LED_B = 54,
    CFG_PIN_LED1 = 55,
    CFG_PIN_LED2 = 56,
    CFG_PIN_LED3 = 57,
    CFG_PIN_LED4 = 58,
    CFG_SPEAKER_VOLUME = 59,
    CFG_PIN_JACK_TX = 60,
    CFG_PIN_JACK_SENSE = 61,
    CFG_PIN_JACK_HPEN = 62,
    CFG_PIN_JACK_BZEN = 63,
    CFG_PIN_JACK_PWREN = 64,
    CFG_PIN_JACK_SND = 65,
    CFG_PIN_JACK_BUSLED = 66,
    CFG_PIN_JACK_COMMLED = 67,
    CFG_PIN_BTN_SOFT_RESET = 69,
    CFG_ACCELEROMETER_TYPE = 70,
    CFG_PIN_BTNMX_LATCH = 71,
    CFG_PIN_BTNMX_CLOCK = 72,
    CFG_PIN_BTNMX_DATA = 73,
    CFG_PIN_BTN_MENU2 = 74,
    CFG_PIN_BATTSENSE = 75,
    CFG_PIN_VIBRATION = 76,
    CFG_PIN_PWREN = 77,
    CFG_DISPLAY_TYPE = 78,
    CFG_PIN_ROTARY_ENCODER_A = 79,
    CFG_PIN_ROTARY_ENCODER_B = 80,
    CFG_ACCELEROMETER_SPACE = 81,
    CFG_PIN_WIFI_MOSI = 82,
    CFG_PIN_WIFI_MISO = 83,
    CFG_PIN_WIFI_SCK = 84,
    CFG_PIN_WIFI_TX = 85,
    CFG_PIN_WIFI_RX = 86,
    CFG_PIN_WIFI_CS = 87,
    CFG_PIN_WIFI_BUSY = 88,
    CFG_PIN_WIFI_RESET = 89,
    CFG_PIN_WIFI_GPIO0 = 90,
    CFG_PIN_WIFI_AT_TX = 91,
    CFG_PIN_WIFI_AT_RX = 92,
    CFG_PIN_USB_POWER = 93,
    CFG_DISPLAY_DELAY = 94,
    ACCELEROMETER_TYPE_LIS3DH = 50,
    ACCELEROMETER_TYPE_LIS3DH_ALT = 48,
    ACCELEROMETER_TYPE_MMA8453 = 56,
    ACCELEROMETER_TYPE_FXOS8700 = 60,
    ACCELEROMETER_TYPE_MMA8653 = 58,
    ACCELEROMETER_TYPE_MSA300 = 76,
    ACCELEROMETER_TYPE_MPU6050 = 104,
    DISPLAY_TYPE_ST7735 = 7735,
    DISPLAY_TYPE_ILI9341 = 9341,
    DISPLAY_TYPE_SMART = 4242,
    CFG_PIN_A0 = 100,
    CFG_PIN_A1 = 101,
    CFG_PIN_A2 = 102,
    CFG_PIN_A3 = 103,
    CFG_PIN_A4 = 104,
    CFG_PIN_A5 = 105,
    CFG_PIN_A6 = 106,
    CFG_PIN_A7 = 107,
    CFG_PIN_A8 = 108,
    CFG_PIN_A9 = 109,
    CFG_PIN_A10 = 110,
    CFG_PIN_A11 = 111,
    CFG_PIN_A12 = 112,
    CFG_PIN_A13 = 113,
    CFG_PIN_A14 = 114,
    CFG_PIN_A15 = 115,
    CFG_PIN_A16 = 116,
    CFG_PIN_A17 = 117,
    CFG_PIN_A18 = 118,
    CFG_PIN_A19 = 119,
    CFG_PIN_A20 = 120,
    CFG_PIN_A21 = 121,
    CFG_PIN_A22 = 122,
    CFG_PIN_A23 = 123,
    CFG_PIN_A24 = 124,
    CFG_PIN_A25 = 125,
    CFG_PIN_A26 = 126,
    CFG_PIN_A27 = 127,
    CFG_PIN_A28 = 128,
    CFG_PIN_A29 = 129,
    CFG_PIN_A30 = 130,
    CFG_PIN_A31 = 131,
    CFG_PIN_D0 = 150,
    CFG_PIN_D1 = 151,
    CFG_PIN_D2 = 152,
    CFG_PIN_D3 = 153,
    CFG_PIN_D4 = 154,
    CFG_PIN_D5 = 155,
    CFG_PIN_D6 = 156,
    CFG_PIN_D7 = 157,
    CFG_PIN_D8 = 158,
    CFG_PIN_D9 = 159,
    CFG_PIN_D10 = 160,
    CFG_PIN_D11 = 161,
    CFG_PIN_D12 = 162,
    CFG_PIN_D13 = 163,
    CFG_PIN_D14 = 164,
    CFG_PIN_D15 = 165,
    CFG_PIN_D16 = 166,
    CFG_PIN_D17 = 167,
    CFG_PIN_D18 = 168,
    CFG_PIN_D19 = 169,
    CFG_PIN_D20 = 170,
    CFG_PIN_D21 = 171,
    CFG_PIN_D22 = 172,
    CFG_PIN_D23 = 173,
    CFG_PIN_D24 = 174,
    CFG_PIN_D25 = 175,
    CFG_PIN_D26 = 176,
    CFG_PIN_D27 = 177,
    CFG_PIN_D28 = 178,
    CFG_PIN_D29 = 179,
    CFG_PIN_D30 = 180,
    CFG_PIN_D31 = 181,
    CFG_NUM_NEOPIXELS = 200,
    CFG_NUM_DOTSTARS = 201,
    CFG_DEFAULT_BUTTON_MODE = 202,
    CFG_SWD_ENABLED = 203,
    CFG_FLASH_BYTES = 204,
    CFG_RAM_BYTES = 205,
    CFG_SYSTEM_HEAP_BYTES = 206,
    CFG_LOW_MEM_SIMULATION_KB = 207,
    CFG_BOOTLOADER_BOARD_ID = 208,
    CFG_UF2_FAMILY = 209,
    CFG_PINS_PORT_SIZE = 210,
    CFG_BOOTLOADER_PROTECTION = 211,
    CFG_POWER_DEEPSLEEP_TIMEOUT = 212,
    CFG_ANALOG_BUTTON_THRESHOLD = 213,
    CFG_CPU_MHZ = 214,
    CFG_CONTROLLER_LIGHT_MAX_BRIGHTNESS = 215,
    CFG_ANALOG_JOYSTICK_MIN = 216,
    CFG_ANALOG_JOYSTICK_MAX = 217,
    CFG_TIMERS_TO_USE = 218,
    CFG_PIN_ONBOARD_DOTSTAR_CLOCK = 219,
    CFG_PIN_ONBOARD_DOTSTAR_DATA = 220,
    CFG_NUM_ONBOARD_DOTSTARS = 221,
    CFG_PIN_ONBOARD_NEOPIXEL = 222,
    CFG_NUM_ONBOARD_NEOPIXELS = 223,
    CFG_MATRIX_KEYPAD_MESSAGE_ID = 239,
    CFG_NUM_MATRIX_KEYPAD_ROWS = 240,
    CFG_PIN_MATRIX_KEYPAD_ROW0 = 241,
    CFG_PIN_MATRIX_KEYPAD_ROW1 = 242,
    CFG_PIN_MATRIX_KEYPAD_ROW2 = 243,
    CFG_PIN_MATRIX_KEYPAD_ROW3 = 244,
    CFG_PIN_MATRIX_KEYPAD_ROW4 = 245,
    CFG_PIN_MATRIX_KEYPAD_ROW5 = 246,
    CFG_PIN_MATRIX_KEYPAD_ROW6 = 247,
    CFG_PIN_MATRIX_KEYPAD_ROW7 = 248,
    CFG_NUM_MATRIX_KEYPAD_COLS = 250,
    CFG_PIN_MATRIX_KEYPAD_COL0 = 251,
    CFG_PIN_MATRIX_KEYPAD_COL1 = 252,
    CFG_PIN_MATRIX_KEYPAD_COL2 = 253,
    CFG_PIN_MATRIX_KEYPAD_COL3 = 254,
    CFG_PIN_MATRIX_KEYPAD_COL4 = 255,
    CFG_PIN_MATRIX_KEYPAD_COL5 = 256,
    CFG_PIN_MATRIX_KEYPAD_COL6 = 257,
    CFG_PIN_MATRIX_KEYPAD_COL7 = 258,
    CFG_PIN_B0 = 300,
    CFG_PIN_B1 = 301,
    CFG_PIN_B2 = 302,
    CFG_PIN_B3 = 303,
    CFG_PIN_B4 = 304,
    CFG_PIN_B5 = 305,
    CFG_PIN_B6 = 306,
    CFG_PIN_B7 = 307,
    CFG_PIN_B8 = 308,
    CFG_PIN_B9 = 309,
    CFG_PIN_B10 = 310,
    CFG_PIN_B11 = 311,
    CFG_PIN_B12 = 312,
    CFG_PIN_B13 = 313,
    CFG_PIN_B14 = 314,
    CFG_PIN_B15 = 315,
    CFG_PIN_B16 = 316,
    CFG_PIN_B17 = 317,
    CFG_PIN_B18 = 318,
    CFG_PIN_B19 = 319,
    CFG_PIN_B20 = 320,
    CFG_PIN_B21 = 321,
    CFG_PIN_B22 = 322,
    CFG_PIN_B23 = 323,
    CFG_PIN_B24 = 324,
    CFG_PIN_B25 = 325,
    CFG_PIN_B26 = 326,
    CFG_PIN_B27 = 327,
    CFG_PIN_B28 = 328,
    CFG_PIN_B29 = 329,
    CFG_PIN_B30 = 330,
    CFG_PIN_B31 = 331,
    CFG_PIN_C0 = 350,
    CFG_PIN_C1 = 351,
    CFG_PIN_C2 = 352,
    CFG_PIN_C3 = 353,
    CFG_PIN_C4 = 354,
    CFG_PIN_C5 = 355,
    CFG_PIN_C6 = 356,
    CFG_PIN_C7 = 357,
    CFG_PIN_C8 = 358,
    CFG_PIN_C9 = 359,
    CFG_PIN_C10 = 360,
    CFG_PIN_C11 = 361,
    CFG_PIN_C12 = 362,
    CFG_PIN_C13 = 363,
    CFG_PIN_C14 = 364,
    CFG_PIN_C15 = 365,
    CFG_PIN_C16 = 366,
    CFG_PIN_C17 = 367,
    CFG_PIN_C18 = 368,
    CFG_PIN_C19 = 369,
    CFG_PIN_C20 = 370,
    CFG_PIN_C21 = 371,
    CFG_PIN_C22 = 372,
    CFG_PIN_C23 = 373,
    CFG_PIN_C24 = 374,
    CFG_PIN_C25 = 375,
    CFG_PIN_C26 = 376,
    CFG_PIN_C27 = 377,
    CFG_PIN_C28 = 378,
    CFG_PIN_C29 = 379,
    CFG_PIN_C30 = 380,
    CFG_PIN_C31 = 381,
    CFG_PIN_P0 = 400,
    CFG_PIN_P1 = 401,
    CFG_PIN_P2 = 402,
    CFG_PIN_P3 = 403,
    CFG_PIN_P4 = 404,
    CFG_PIN_P5 = 405,
    CFG_PIN_P6 = 406,
    CFG_PIN_P7 = 407,
    CFG_PIN_P8 = 408,
    CFG_PIN_P9 = 409,
    CFG_PIN_P10 = 410,
    CFG_PIN_P11 = 411,
    CFG_PIN_P12 = 412,
    CFG_PIN_P13 = 413,
    CFG_PIN_P14 = 414,
    CFG_PIN_P15 = 415,
    CFG_PIN_P16 = 416,
    CFG_PIN_P17 = 417,
    CFG_PIN_P18 = 418,
    CFG_PIN_P19 = 419,
    CFG_PIN_P20 = 420,
    CFG_PIN_P21 = 421,
    CFG_PIN_P22 = 422,
    CFG_PIN_P23 = 423,
    CFG_PIN_P24 = 424,
    CFG_PIN_P25 = 425,
    CFG_PIN_P26 = 426,
    CFG_PIN_P27 = 427,
    CFG_PIN_P28 = 428,
    CFG_PIN_P29 = 429,
    CFG_PIN_P30 = 430,
    CFG_PIN_P31 = 431,
    CFG_PIN_P32 = 432,
    CFG_PIN_P33 = 433,
    CFG_PIN_P34 = 434,
    CFG_PIN_P35 = 435,
    CFG_PIN_P36 = 436,
    CFG_PIN_P37 = 437,
    CFG_PIN_P38 = 438,
    CFG_PIN_P39 = 439,
    CFG_PIN_P40 = 440,
    CFG_PIN_P41 = 441,
    CFG_PIN_P42 = 442,
    CFG_PIN_P43 = 443,
    CFG_PIN_P44 = 444,
    CFG_PIN_P45 = 445,
    CFG_PIN_P46 = 446,
    CFG_PIN_P47 = 447,
    CFG_PIN_P48 = 448,
    CFG_PIN_P49 = 449,
    CFG_PIN_P50 = 450,
    CFG_PIN_P51 = 451,
    CFG_PIN_P52 = 452,
    CFG_PIN_P53 = 453,
    CFG_PIN_P54 = 454,
    CFG_PIN_P55 = 455,
    CFG_PIN_P56 = 456,
    CFG_PIN_P57 = 457,
    CFG_PIN_P58 = 458,
    CFG_PIN_P59 = 459,
    CFG_PIN_P60 = 460,
    CFG_PIN_P61 = 461,
    CFG_PIN_P62 = 462,
    CFG_PIN_P63 = 463,
    CFG_PIN_LORA_MISO = 1001,
    CFG_PIN_LORA_MOSI = 1002,
    CFG_PIN_LORA_SCK = 1003,
    CFG_PIN_LORA_CS = 1004,
    CFG_PIN_LORA_BOOT = 1005,
    CFG_PIN_LORA_RESET = 1006,
    CFG_PIN_IRRXLED = 1007,
    CFG_PIN_IRTXLED = 1008,
    CFG_PIN_LCD_RESET = 1009,
    CFG_PIN_LCD_ENABLE = 1010,
    CFG_PIN_LCD_DATALINE4 = 1011,
    CFG_PIN_LCD_DATALINE5 = 1012,
    CFG_PIN_LCD_DATALINE6 = 1013,
    CFG_PIN_LCD_DATALINE7 = 1014,
    CFG_NUM_LCD_COLUMNS = 1015,
    CFG_NUM_LCD_ROWS = 1016,
    CFG_PIN_RCC0 = 1017,
    CFG_PIN_RCC1 = 1018,
    CFG_PIN_RCC2 = 1019,
    CFG_PIN_RCC3 = 1020,
    CFG_PIN_RCC4 = 1021,
    CFG_PIN_RCC5 = 1022,
    CFG_PIN_RCC6 = 1023,
    CFG_PIN_RCC7 = 1024,
    CFG_PIN_SERVO0 = 1025,
    CFG_PIN_SERVO1 = 1026,
    CFG_PIN_SERVO2 = 1027,
    CFG_PIN_SERVO3 = 1028,
    CFG_PIN_SERVO4 = 1029,
    CFG_PIN_SERVO5 = 1030,
    CFG_PIN_SERVO6 = 1031,
    CFG_PIN_SERVO7 = 1032,
    CFG_PIN_SERVO8 = 1033,
    CFG_PIN_PI_TX = 1034,
    CFG_PIN_PI_RX = 1035,
    CFG_PIN_GPS_SDA = 1036,
    CFG_PIN_GPS_SCL = 1037,
    CFG_PIN_GPS_TX = 1038,
    CFG_PIN_GPS_RX = 1039,
    CFG_PIN_GROVE0 = 1040,
    CFG_PIN_GROVE1 = 1041,
    CFG_PIN_SS = 1042,
    CFG_PIN_D33 = 183,
    CFG_PIN_D34 = 184,
    CFG_PIN_D35 = 185,
    CFG_PIN_D36 = 186,
    CFG_PIN_D37 = 187,
    CFG_PIN_D38 = 188,
    CFG_PIN_D39 = 189,
    CFG_PIN_D40 = 190,
    CFG_PIN_D41 = 191,
    CFG_PIN_D42 = 192,
    CFG_PIN_D43 = 193,
    CFG_PIN_D44 = 194,
    CFG_PIN_D45 = 195,
    CFG_PIN_D46 = 196,
    CFG_PIN_D47 = 197,
    CFG_PIN_D48 = 198,
    CFG_PIN_D49 = 199,
    CFG_PIN_D50 = 259,
    CFG_PIN_D51 = 260,
    CFG_PIN_D52 = 261,
    CFG_PIN_D53 = 262,
    CFG_PIN_TX1 = 263,
    CFG_PIN_TX2 = 264,
    CFG_PIN_TX3 = 265,
    CFG_PIN_RX1 = 266,
    CFG_PIN_RX2 = 267,
    CFG_PIN_RX3 = 268,
    CFG_PIN_SCL1 = 269,
    CFG_PIN_SDA1 = 270,
    CFG_PIN_PCC_D0 = 271,
    CFG_PIN_PCC_D1 = 272,
    CFG_PIN_PCC_D2 = 273,
    CFG_PIN_PCC_D3 = 274,
    CFG_PIN_PCC_D4 = 275,
    CFG_PIN_PCC_D5 = 276,
    CFG_PIN_PCC_D6 = 277,
    CFG_PIN_PCC_D7 = 278,
    CFG_PIN_PCC_D8 = 279,
    CFG_PIN_PCC_D9 = 280,
    CFG_PIN_PCC_D10 = 281,
    CFG_PIN_PCC_D11 = 282,
    CFG_PIN_PCC_D12 = 283,
    CFG_PIN_PCC_D13 = 284,
    CFG_PIN_CC_DEN1 = 285,
    CFG_PIN_CC_DEN2 = 286,
    CFG_PIN_CC_CLK = 287,
    CFG_PIN_XCC_CLK = 288,
    CFG_PIN_JDPWR_PRE_SENSE = 1100,
    CFG_PIN_JDPWR_GND_SENSE = 1101,
    CFG_PIN_JDPWR_PULSE = 1102,
    CFG_PIN_JDPWR_OVERLOAD_LED = 1103,
    CFG_PIN_JDPWR_ENABLE = 1104,
    CFG_PIN_JDPWR_FAULT = 1105,
    CFG_USER_CFG_0 = 2000,
    CFG_USER_CFG_1 = 2001,
    CFG_USER_CFG_2 = 2002,
    CFG_USER_CFG_3 = 2003,
    CFG_USER_CFG_4 = 2004,
    CFG_USER_CFG_5 = 2005,
    CFG_USER_CFG_6 = 2006,
    CFG_USER_CFG_7 = 2007,
    CFG_USER_CFG_8 = 2008,
    CFG_USER_CFG_9 = 2009,
    CFG_ARCADE_CFG_0 = 2100,
    CFG_ARCADE_CFG_1 = 2101,
    CFG_ARCADE_SCREEN_WIDTH = 2102,
    CFG_ARCADE_SCREEN_HEIGHT = 2103,
    // /pxtapp/platform.h
    PXT_MICROBIT_TAGGED_INT = 1,
    PXT_POWI = 1,
    // /pxtapp/pxtbase.h
    PXT_UTF8 = 0,
    PXT32 = 1,
    PXT64 = 1,
    PXT_REFCNT_FLASH = 65534,
    VTABLE_MAGIC = 249,
    VTABLE_MAGIC2 = 248,
    Undefined = 0,
    Boolean = 1,
    Number = 2,
    String = 3,
    Object = 4,
    Function = 5,
    BoxedString = 1,
    BoxedNumber = 2,
    BoxedBuffer = 3,
    RefAction = 4,
    RefImage = 5,
    RefCollection = 6,
    RefRefLocal = 7,
    RefMap = 8,
    RefMImage = 9,
    MMap = 10,
    BoxedString_SkipList = 11,
    BoxedString_ASCII = 12,
    ZPin = 13,
    User0 = 16,
    IMAGE_HEADER_MAGIC = 135,
    Int8LE = 1,
    UInt8LE = 2,
    Int16LE = 3,
    UInt16LE = 4,
    Int32LE = 5,
    Int8BE = 6,
    UInt8BE = 7,
    Int16BE = 8,
    UInt16BE = 9,
    Int32BE = 10,
    UInt32LE = 11,
    UInt32BE = 12,
    Float32LE = 13,
    Float64LE = 14,
    Float32BE = 15,
    Float64BE = 16,
    NUM_TRY_FRAME_REGS = 3,
    GC = 0,
    PERF_NOW_MASK = 4294967295,
    PERF_NOW_SCALE = 1,
    PXT_STRING_SKIP_INCR = 16,
    // /pxtapp/pxtcore.h
    NON_GC_HEAP_RESERVATION = 1024,
    GC_BLOCK_SIZE = 256,
}
