// Auto-generated. Do not edit. declare const enum DAL { // /main/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_SETTINGS_SIZE_DEFL = 95, CFG_SETTINGS_SIZE = 96, 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, // /main/jacdac/JacdacBLE.h JACDAC_BLE_BUFFER_SIZE = 254, MICROBIT_JACDAC_S_EVT_RX = 1, MICROBIT_JACDAC_S_EVT_TX = 1, DEVICE_ID_JACDAC_BLE = 3056, JD_BLE_STATUS_IN_USE = 8, // /main/jacdac/jdprotocol.h JD_SERIAL_PAYLOAD_SIZE = 236, JD_SERIAL_FULL_HEADER_SIZE = 16, JD_SERVICE_CLASS_CTRL = 0, JD_SERVICE_NUMBER_CTRL = 0, JD_SERVICE_NUMBER_MASK = 63, JD_SERVICE_NUMBER_CRC_ACK = 63, JD_FRAME_FLAG_COMMAND = 1, JD_FRAME_FLAG_ACK_REQUESTED = 2, JD_FRAME_FLAG_IDENTIFIER_IS_SERVICE_CLASS = 4, JD_REG_INTENSITY = 1, JD_REG_VALUE = 2, JD_REG_IS_STREAMING = 3, JD_REG_STREAMING_INTERVAL = 4, JD_REG_LOW_THRESHOLD = 5, JD_REG_HIGH_THRESHOLD = 6, JD_REG_MAX_POWER = 7, JD_REG_READING = 257, JD_CMD_GET_REG = 4096, JD_CMD_SET_REG = 8192, JD_CMD_ADVERTISEMENT_DATA = 0, JD_CMD_EVENT = 1, JD_CMD_CALIBRATE = 2, JD_CMD_GET_DESCRIPTION = 3, JD_CMD_CTRL_NOOP = 128, JD_CMD_CTRL_IDENTIFY = 129, JD_CMD_CTRL_RESET = 130, JD_REG_CTRL_DEVICE_DESCRIPTION = 384, JD_REG_CTRL_DEVICE_CLASS = 385, JD_REG_CTRL_TEMPERATURE = 386, JD_REG_CTRL_LIGHT_LEVEL = 387, JD_REG_CTRL_BL_DEVICE_CLASS = 388, JDSPI_MAGIC = 31437, JDSPI_MAGIC_NOOP = 46029, // /main/pintarget.h DEVICE_PIN_EVT_RISE = 2, DEVICE_PIN_EVT_FALL = 3, DEVICE_PIN_EVT_PULSE_HI = 4, DEVICE_PIN_EVT_PULSE_LO = 5, DEVICE_PIN_EVENT_NONE = 0, DEVICE_PIN_EVENT_ON_EDGE = 1, DEVICE_PIN_EVENT_ON_PULSE = 2, DEVICE_PIN_EVENT_ON_TOUCH = 3, // /main/platform.h PXT_ESP32 = 1, PAGE_SIZE = 1024, DEV_NUM_PINS = 50, IMAGE_BITS = 4, // /main/pxt.h OUTPUT_BITS = 12, DEVICE_EVT_ANY = 0, DEVICE_ID_NOTIFY_ONE = 1022, DEVICE_ID_NOTIFY = 1023, DEVICE_ID_JACDAC = 30, DEVICE_ID_JACDAC_PHYS = 31, // /main/pxtbase.h PXT32 = 1, PXT64 = 1, PXT_REFCNT_FLASH = 65534, VTABLE_MAGIC = 249, VTABLE_MAGIC2 = 248, Undefined = 0, Boolean = 1, Number = 2, String = 3, Object = 4, 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, PXT_STRING_SKIP_INCR = 16, // /main/pxtconfig.h PXT_VM = 1, PXT_UF2_FAMILY = 3218951918, // /main/pxtcore.h PXT_HARD_FLOAT = 1, // /main/uf2hid.h UF2_HID_H = 1, HF2_CMD_BININFO = 1, HF2_MODE_BOOTLOADER = 1, HF2_MODE_USERSPACE = 2, HF2_CMD_INFO = 2, HF2_CMD_RESET_INTO_APP = 3, HF2_CMD_RESET_INTO_BOOTLOADER = 4, HF2_CMD_START_FLASH = 5, HF2_CMD_WRITE_FLASH_PAGE = 6, HF2_CMD_CHKSUM_PAGES = 7, HF2_CMD_READ_WORDS = 8, HF2_CMD_WRITE_WORDS = 9, HF2_CMD_DMESG = 16, HF2_EV_MASK = 8388608, HF2_CMD_JDS_CONFIG = 32, HF2_CMD_JDS_SEND = 33, HF2_EV_JDS_PACKET = 8388640, HF2_FLAG_SERIAL_OUT = 128, HF2_FLAG_SERIAL_ERR = 192, HF2_FLAG_CMDPKT_LAST = 64, HF2_FLAG_CMDPKT_BODY = 0, HF2_FLAG_MASK = 192, HF2_SIZE_MASK = 63, HF2_STATUS_OK = 0, HF2_STATUS_INVALID_CMD = 1, HF2_STATUS_INVALID_STATE = 2, // /main/vm.h VM_OPCODE_BASE_SIZE = 6, VM_OPCODE_ARG_POS = 7, VM_RTCALL_PUSH_MASK = 8192, VM_MAX_FUNCTION_STACK = 200, VM_STACK_SIZE = 1000, Invalid = 0, InfoHeader = 1, OpCodeMap = 2, NumberLiterals = 3, ConfigData = 4, IfaceMemberNames = 5, NumberBoxes = 6, Literal = 33, VTable = 34, PXT_WAIT_SOURCE_PROMISE = 131056, }