svoid test_hexToInts() {
  testFunctionValue(a -> intArrayToList(hexToInts(a)),
    "000000ffeeeeeeff",
    intArrayToList(new int[] { 0xff000000, 0xffeeeeee })
  );
}