Pass pointers to nativeint values as intnat*, not int*, in the tests.