Hi Eric, >> Args[1] is required by the LLVM intrinsic to be an i32, but what guarantees >> that it is? > > The check above on the tree I believe. my understanding is that check checks that the value is of some integer type (int, long int etc) and not that it's int. Ciao, Duncan.