static L<Int> iotaZeroList(int n) {
  ret intRangeList(0, n);
}