static L<Int> rep0(int n) {
  ret rep(n, (Int) 0);
}