static byte[] intListToByteArray(L<Int> l) {
  ret intListToByteArray_littleEndian(l);
}