Here the problem is endianness. This is okay - but Vassil needs to cast the expression to `uint64_t` *and* you still need to set the bit size of the `APInt` to match that of the type. Like that a boolean will be transferred as a `uint64_t` into `IntVal`, but the `APInt` will know that there is but one bit.

O, and shouldn't it be `&...IntVal.VAL`?