static void removeFirst(L l) {
  if (nempty(l))
    l.remove(0);
}

svoid removeFirst(int n, L l) {
  removeSubList(l, 0, n);
}