*/
  public static void clearModule(Cons name) {
    if (name.length() == 0) {
      Stella.callClearModule(Stella.NIL);
    }
    else {
      Stella.callClearModule(Cons.cons(name.value, Stella.NIL));
    }
  }