* @param body
   * @return Stella_Object
   */
  public static Stella_Object withinWorld(Stella_Object worldform, Cons body) {
    return (Cons.list$(Cons.cons(Stella.SYM_STELLA_SPECIAL, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_$CONTEXT$, Cons.cons(worldform, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SAFETY, Cons.cons(IntegerWrapper.wrapInteger(3), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_EQLp, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_BASE_MODULE, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_CAST, Cons.cons(Stella.SYM_STELLA_$CONTEXT$, Cons.cons(Stella.SYM_STELLA_WORLD, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.SYM_STELLA_$MODULE$, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(StringWrapper.wrapString("within-world: The base module of world "), Cons.cons(Stella.SYM_STELLA_$CONTEXT$, Cons.cons(StringWrapper.wrapString(" does not match the current module."), Cons.cons(Stella.NIL, Stella.NIL)))))))), Cons.cons(body.concatenate(Stella.NIL, Stella.NIL), Stella.NIL))))));
  }