add the %int_as_pointer primitive