env.PushEnv();

      e1.Compile(env,gen);
      gen.Emit(new INCSP(-1));

      String startLab = Label.Fresh();
      String endLab = Label.Fresh();
      gen.Label(startLab);
      e2.Compile(env,gen);
      gen.Emit(new IFZERO(endLab));

      env.PushEnv();

      body.Compile(env,gen);
      e3.Compile(env,gen);
      gen.Emit(new INCSP(-1));

      gen.Emit(new INCSP(-env.MostLocalSize));
      env.PopEnv();

      gen.Emit(new GOTO(startLab));
      gen.Label(endLab);

      gen.Emit(new INCSP(-env.MostLocalSize));
      env.PopEnv();