export let SECTION_ATTRIBUTES_USR = 0xff000000;
export let S_ATTR_PURE_INSTRUCTIONS = 0x80000000;
export let SECTION_ATTRIBUTES_SYS = 0x00ffff00;
export let S_ATTR_SOME_INSTRUCTIONS = 0x0000400;
export let S_ATTR_EXT_RELOC = 0x00000200;
export let S_ATTR_LOC_RELOC = 0x00000100;

export let uint128_t = 16;
export let uint64_t = 8;
export let uint32_t = 4;
export let uint16_t = 2;
export let uint8_t = 1;