diff --git a/examples/C/src/SkiLift/Lift.lf b/examples/C/src/SkiLift/Lift.lf
index 16dc6db6..1ab52ed1 100644
--- a/examples/C/src/SkiLift/Lift.lf
+++ b/examples/C/src/SkiLift/Lift.lf
@@ -5,18 +5,14 @@
  * @author Christian Menard
  * @author Edward A. Lee
  */
-
-target C {
- // cmake-include: ["c_lib/drawSkiLift.cmake"],
- // files:["c_lib/drawSkiLift.c"]
-}
+target C
 
 import EntryGate from "./EntryGate.lf"
 import EntrySensor from "lib/EntrySensor.lf"
 import LiftSensor from "lib/LiftSensor.lf"
 import ObjectDetector from "lib/ObjectDetector.lf"
-//import ScreenPrinter from "lib/ScreenPrinter.lf"
 
+// import ScreenPrinter from "lib/ScreenPrinter.lf"
 preamble {=
   #define WIDTH 80      // Width of the terminal screen
   #define HEIGHT 6      // Number of rows for the ski lift
@@ -31,28 +27,28 @@ preamble {=
   static volatile int offset = 0;
   static void moveCursor(int row, int col) {
     // Move cursor to (row, col)
-    printf("\033[%d;%dH", row, col);
+    fprintf(stdout, "\033[%d;%dH", row, col);
     fflush(stdout);
   }
   static void clearScreen() {
-    printf("\033[H\033[J"); // ANSI escape code to clear the screen
+    fprintf(stdout, "\033[H\033[J"); // ANSI escape code to clear the screen
     fflush(stdout);
   }
   static void clearLine() {
-    printf("\033[2K"); // Clear the entire line
+    fprintf(stdout, "\033[2K"); // Clear the entire line
     fflush(stdout);
-  } 
+  }
+
 
-  
   static void drawSkiLift(int offset) {
     char screen[HEIGHT][WIDTH];
-  
+
     // Clear the screen array
     for (int i = 0; i < HEIGHT; i++) {
       memset(screen[i], ' ', WIDTH - 1);
       screen[i][WIDTH - 1] = '\0';
     }
-  
+
     // Draw the top row of chairs
     for (int i = 0; i < NUM_CHAIRS; i++) {
       int pos = (i * 8 + offset) % WIDTH;
@@ -65,7 +61,7 @@ preamble {=
         screen[1][pos + 2] = '\\';
       }
     }
-  
+
     // Draw the bottom row of chairs
     for (int i = 0; i < NUM_CHAIRS; i++) {
       int pos = (i * 8 - offset + WIDTH) % WIDTH;
@@ -78,42 +74,42 @@ preamble {=
         screen[HEIGHT - 1][pos + 2] = '\\';
       }
     }
-  
+
     // Draw the left-most and right-most vertical lines
     for (int i = 0; i < NUM_CHAIRS; i++) {
       int pos_top =
         (i * 8 + offset) % WIDTH;
       int pos_bottom =
         (i * 8 - offset + WIDTH) % WIDTH;
-  
+
       // Left vertical connection (top to bottom)
       if (pos_top + 1 > 5 && pos_top + 1 < WIDTH - 10) {
         screen[2][1] = '|';
         screen[3][1] = '|';
       }
-  
+
       // Right vertical connection (bottom to top)
       if (pos_bottom + 2 > 8 && pos_bottom + 2 < WIDTH - 5) {
         screen[2][WIDTH - 6] = '|';
         screen[3][WIDTH - 6] = '|';
       }
     }
-  
+
     // Print the screen to the terminal
     for (int i = 0; i < HEIGHT; i++) {
-      printf("%s\n", screen[i]);
+      fprintf(stdout, "%s\n", screen[i]);
     }
   }
-  
+
   static void skiLiftInit() {
     clearScreen();
-    printf("Ski Lift Animation\n");
-    printf(
+    fprintf(stdout, "Ski Lift Animation\n");
+    fprintf(stdout,
         "---------------------------------------------------------------------"
         "-------\n\n\n");
     drawSkiLift(offset);
-    printf("\n\n");
-    printf(
+    fprintf(stdout, "\n\n");
+    fprintf(stdout,
         "---------------------------------------------------------------------"
         "-------\n");
     offset = (offset + 1) % WIDTH; // Update the offset for the next frame
@@ -124,8 +120,8 @@ preamble {=
       clearLine();
     }
     drawSkiLift(offset);
-    printf("\n\n");
-    printf(
+    fprintf(stdout, "\n\n");
+    fprintf(stdout,
         "---------------------------------------------------------------------"
         "-------\n");
     offset = (offset + 1) % WIDTH;
@@ -133,16 +129,17 @@ preamble {=
   static void printMotionStatus(const char* str_motion) {
     moveCursor(ANIMATION_HEIGHT + 1, 1);
     clearLine();
-    printf("Lift Status: %s\n", str_motion);
+    fprintf(stdout, "Lift Status: %s\n", str_motion);
     fflush(stdout);
   }
   static void printGateStatus(const char* str_gate) {
     moveCursor(ANIMATION_HEIGHT + 2, 1);
     clearLine();
-    printf("Gate Status: %s\n", str_gate);
+    fprintf(stdout, "Gate Status: %s\n", str_gate);
     fflush(stdout);
     moveCursor(ANIMATION_HEIGHT + 3, 1);
-    printf("\033[J");
+    fprintf(stdout, "\033[J");
+    fflush(stdout);
   }
 =}
 
@@ -150,17 +147,23 @@ main reactor Lift {
   preamble {=
     static int32_t passenger_cnt = 0;
   =}
-  state move: bool = true;
-  state open: bool = false;
-  state stay_cur_mode: bool = true;
-  state count: int32_t = 0;
-  state start_number: int32_t = 0;
-  state end_number: int32_t = 0;
+  state move: bool = true
+  state open: bool = false
+  state stay_cur_mode: bool = true
+  state count: int32_t = 0
+  state start_number: int32_t = 0
+  state end_number: int32_t = 0
   liftMotion = new LiftMotion()
   entryGate = new EntryGate()
   entrySensor = new EntrySensor()
   liftSensor = new LiftSensor()
   objectDetector = new ObjectDetector()
+
+  timer t(0, 500 msec)
+
+  state gate_t_counter: int32_t = 0
+  timer t_gate(0, 1 sec)
+
   // Start the program (When staff press the start button of the lift)
   reaction(startup) -> liftMotion.move, entryGate.open {=
     skiLiftInit();
@@ -168,23 +171,20 @@ main reactor Lift {
   =}
 
   // Behaviors on the start of the lift
-  //  reaction(liftSensor.start_ready) -> entryGate.open {=
-  //    if (liftSensor.start_ready->value) {
-  //      self->open = true;
+  // reaction(liftSensor.start_ready) -> entryGate.open {=
+  // if (liftSensor.start_ready->value) {
+  // self->open = true;
   //    } else {
-  //      self->open = false;
+  // self->open = false;
   //    }
-  //    lf_set(entryGate.open, self->open);
+  // lf_set(entryGate.open, self->open);
   //  =}
-
   reaction(objectDetector.start_number) {=
     if (objectDetector.start_number != 0) {
       self->start_number = objectDetector.start_number->value;
     }
   =}
 
-
-  timer t(0, 500 msec);
   reaction(t) -> liftMotion.move {=
     // start_number from objectDetector
     // passenger_cnt from entrySensor
@@ -200,8 +200,6 @@ main reactor Lift {
     lf_set(liftMotion.move, self->move);
   =}
 
-  state gate_t_counter: int32_t = 0;
-  timer t_gate(0, 1 sec);
   reaction(t_gate) -> entryGate.open {=
     if (self->gate_t_counter % 4 == 0) {
       self->open = true;
@@ -220,11 +218,13 @@ main reactor Lift {
       passenger_cnt ++;
     }
   =}
+
   reaction(entrySensor.gate_2) {=
     if (entrySensor.gate_2->value) {
       passenger_cnt ++;
     }
   =}
+
   reaction(entrySensor.gate_3) {=
     if (entrySensor.gate_3->value) {
       passenger_cnt ++;
@@ -232,23 +232,21 @@ main reactor Lift {
   =}
 
   // Behavior on the end of the lift
- // reaction(liftSensor.end_ready) -> liftMotion.move {=
- //   if (liftSensor.end_ready->value) {
- //     if (self->end_number != 0) {
- //    //   self->move = false;
- //     } else {
- //     //  self->move = true;
- //     }
- //     //lf_set(liftMotion.move, self->move);
- //   }
- // =}
-
+  // reaction(liftSensor.end_ready) -> liftMotion.move {=
+  // if (liftSensor.end_ready->value) {
+  // if (self->end_number != 0) {
+  //    //   self->move = false;
+  //     } else {
+  //     //  self->move = true;
+  //     }
+  //     //lf_set(liftMotion.move, self->move);
+  //   }
+  // =}
   reaction(objectDetector.end_number) {=
     if (objectDetector.end_number != 0) {
       self->end_number = objectDetector.end_number->value;
     }
   =}
-
 }
 
 reactor LiftMotion {