int XUINTN_tests();