// For Unicorn Engine. AUTO-GENERATED FILE, DO NOT EDIT namespace UnicornManaged.Const open System [] module Ppc = // PPC registers let UC_PPC_REG_INVALID = 0 // General purpose registers let UC_PPC_REG_PC = 1 let UC_PPC_REG_0 = 2 let UC_PPC_REG_1 = 3 let UC_PPC_REG_2 = 4 let UC_PPC_REG_3 = 5 let UC_PPC_REG_4 = 6 let UC_PPC_REG_5 = 7 let UC_PPC_REG_6 = 8 let UC_PPC_REG_7 = 9 let UC_PPC_REG_8 = 10 let UC_PPC_REG_9 = 11 let UC_PPC_REG_10 = 12 let UC_PPC_REG_11 = 13 let UC_PPC_REG_12 = 14 let UC_PPC_REG_13 = 15 let UC_PPC_REG_14 = 16 let UC_PPC_REG_15 = 17 let UC_PPC_REG_16 = 18 let UC_PPC_REG_17 = 19 let UC_PPC_REG_18 = 20 let UC_PPC_REG_19 = 21 let UC_PPC_REG_20 = 22 let UC_PPC_REG_21 = 23 let UC_PPC_REG_22 = 24 let UC_PPC_REG_23 = 25 let UC_PPC_REG_24 = 26 let UC_PPC_REG_25 = 27 let UC_PPC_REG_26 = 28 let UC_PPC_REG_27 = 29 let UC_PPC_REG_28 = 30 let UC_PPC_REG_29 = 31 let UC_PPC_REG_30 = 32 let UC_PPC_REG_31 = 33