// Auto-generated. Do not edit.
declare const enum DAL {
    // /libraries/codal-core/inc/JACDAC/JDPhysicalLayer.h
    Receiving = 0,
    Transmitting = 1,
    Error = 2,
    Unknown = 3,
    ListeningForPulse = 0,
    ErrorRecovery = 1,
    Off = 2,
    Continuation = 0,
    // /libraries/codal-core/inc/JACDAC/JDServiceClasses.h
    STATIC_CLASS_START = 0,
    STATIC_CLASS_END = 16777215,
    DYNAMIC_CLASS_END = 4294967295,
    // /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_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_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_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,
    // /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_HEAP_ERROR = 30,
    DEVICE_NULL_DEREFERENCE = 40,
    DEVICE_USB_ERROR = 50,
    DEVICE_JACDAC_ERROR = 60,
    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,
    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
    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,
    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,
    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,
    // /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 = 49370,
    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,
    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/MMA8653.h
    MICROBIT_ACCEL_PITCH_ROLL_VALID = 2,
    MICROBIT_ACCEL_ADDED_TO_IDLE = 4,
    // /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/TouchButton.h
    TOUCH_BUTTON_CALIBRATION_PERIOD = 10,
    TOUCH_BUTTON_CALIBRATION_LINEAR_OFFSET = 2,
    TOUCH_BUTTON_CALIBRATION_PERCENTAGE_OFFSET = 5,
    TOUCH_BUTTON_CALIBRATING = 16,
    // /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/USBJACDAC.h
    JACDAC_USB_STATUS_CLEAR_TO_SEND = 2,
    // /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,
    // /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_DEFAULT_WINDOW_SIZE = 128,
    // /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,
    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/RefCounted.h
    REF_TAG_STRING = 1,
    REF_TAG_BUFFER = 2,
    REF_TAG_IMAGE = 3,
    REF_TAG_USER = 32,
    // /pxtapp/accelerometer/axis.h
    ACC_SYSTEM = 3,
    ACC_ROTATION = 0,
    // /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,
    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_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,
    // /pxtapp/hf2dbg.h
    HF2DBG_H = 1,
    // /pxtapp/jacdac/jdprotocol.h
    JDSPI_MAGIC = 31437,
    JDSPI_MAGIC_NOOP = 46029,
    // /pxtapp/mixer---samd/melody.h
    SW_TRIANGLE = 1,
    SW_SAWTOOTH = 2,
    SW_SINE = 3,
    SW_NOISE = 5,
    SW_SQUARE_10 = 11,
    SW_SQUARE_50 = 15,
    CODAL = 1,
    MAX_SOUNDS = 5,
    Waiting = 0,
    Playing = 1,
    Done = 2,
    // /pxtapp/pins.h
    BUTTON_ACTIVE_HIGH_PULL_DOWN = 17,
    BUTTON_ACTIVE_HIGH_PULL_UP = 33,
    BUTTON_ACTIVE_HIGH_PULL_NONE = 49,
    BUTTON_ACTIVE_LOW_PULL_DOWN = 16,
    BUTTON_ACTIVE_LOW_PULL_UP = 32,
    BUTTON_ACTIVE_LOW_PULL_NONE = 48,
    // /pxtapp/platform.h
    PAGE_SIZE = 512,
    BOOTLOADER_START = 0,
    DEV_NUM_PINS = 64,
    PXT_74HC165 = 1,
    IMAGE_BITS = 4,
    PA00 = 0,
    PA01 = 1,
    PA02 = 2,
    PA03 = 3,
    PA04 = 4,
    PA05 = 5,
    PA06 = 6,
    PA07 = 7,
    PA08 = 8,
    PA09 = 9,
    PA10 = 10,
    PA11 = 11,
    PA12 = 12,
    PA13 = 13,
    PA14 = 14,
    PA15 = 15,
    PA16 = 16,
    PA17 = 17,
    PA18 = 18,
    PA19 = 19,
    PA20 = 20,
    PA21 = 21,
    PA22 = 22,
    PA23 = 23,
    PA24 = 24,
    PA25 = 25,
    PA26 = 26,
    PA27 = 27,
    PA28 = 28,
    PA29 = 29,
    PA30 = 30,
    PA31 = 31,
    PB00 = 32,
    PB01 = 33,
    PB02 = 34,
    PB03 = 35,
    PB04 = 36,
    PB05 = 37,
    PB06 = 38,
    PB07 = 39,
    PB08 = 40,
    PB09 = 41,
    PB10 = 42,
    PB11 = 43,
    PB12 = 44,
    PB13 = 45,
    PB14 = 46,
    PB15 = 47,
    PB16 = 48,
    PB17 = 49,
    PB18 = 50,
    PB19 = 51,
    PB20 = 52,
    PB21 = 53,
    PB22 = 54,
    PB23 = 55,
    PB24 = 56,
    PB25 = 57,
    PB26 = 58,
    PB27 = 59,
    PB28 = 60,
    PB29 = 61,
    PB30 = 62,
    PB31 = 63,
    // /pxtapp/pxt.h
    DEVICE_ID_BUTTON_SLIDE = 3000,
    DEVICE_ID_MICROPHONE = 3001,
    DEVICE_ID_FIRST_BUTTON = 4000,
    DEVICE_ID_FIRST_TOUCHBUTTON = 4100,
    PXT_INTERNAL_KEY_UP = 2050,
    PXT_INTERNAL_KEY_DOWN = 2051,
    // /pxtapp/pxtbase.h
    PXT32 = 1,
    PXT64 = 1,
    PXT_REFCNT_FLASH = 65534,
    VTABLE_MAGIC = 249,
    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,
    User0 = 16,
    PXT_IOS_HEAP_ALLOC_BITS = 20,
    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,
    // /pxtapp/pxtconfig.h
    PXT_UF2_FAMILY = 1760373640,
    // /pxtapp/serial/serial-common.h
    BaudRate115200 = 115200,
    BaudRate57600 = 57600,
    BaudRate38400 = 38400,
    BaudRate31250 = 31250,
    BaudRate28800 = 28800,
    BaudRate19200 = 19200,
    BaudRate14400 = 14400,
    BaudRate9600 = 9600,
    BaudRate4800 = 4800,
    BaudRate2400 = 2400,
    BaudRate1200 = 1200,
    BaudRate300 = 300,
    DataReceived = 4,
    RxBufferFull = 3,
    NewLine = 10,
    Comma = 44,
    Dollar = 36,
    Colon = 58,
    Fullstop = 46,
    Hash = 35,
    SemiColumn = 59,
    Space = 32,
    Tab = 9,
    Pipe = 124,
    // /pxtapp/settings/RAFFS.h
    RAFFS_FOLLOWING_MASK = 32768,
    RAFFS_FLASH_BUFFER_SIZE = 64,
    // /pxtapp/thermometer/target_temperature.h
    TEMPERATURE_NOMINAL_VALUE = 25,
    TEMPERATURE_NOMINAL_READING = 10000,
    TEMPERATURE_BETA = 3380,
    TEMPERATURE_SERIES_RESISTOR = 10000,
    // /pxtapp/uf2hid.h
    UF2_HID_H = 1,
}