Allow casting pointers to ints in cbuilder