(tests
 (names uint_test int128_test)
 (libraries internal_lib herdtools)
 (modes native))
