text: /*****************************************
  Emitting C Generated Code
  *******************************************/
  #include <stdlib.h>
  #include <stdio.h>
  #include <stdint.h>
  #include <stdbool.h>
  /**************** Snippet ****************/
  void Snippet(int x0) {
    printf(">> %d\n", x0 == 0 ? ({
      printf("hkjfd\n");
      3;
    }) : ({
      printf("fsgl");
      x0 + 6;
    }));
  }
  /*****************************************
  End of C Generated Code
  *******************************************/
  int main(int argc, char *argv[]) {
    if (argc != 2) {
      printf("usage: %s <arg>\n", argv[0]);
      return 0;
    }
    Snippet(atoi(argv[1]));
    return 0;
  }
  