Introduction - If you have any usage issues, please Google them yourself
Return a completely initialised control block.Ity_I1 values cannot be stored or loaded. So vex_inject_ir will load store such a value to a 4-byte container. It uses 32to1 and 1Uto32, respectively.