(* ---- generated code --- *)
(* Group 0 *)
let rec
(* Word: 何もしない *)
 f0 s =
  s

in
(* Group 1 *)
let rec
(* Word: を *)
 f1 s =
  (* Call 何もしない *)
  let s = f0 s in
  s

in
(* Group 2 *)
let rec
(* Word: 話す *)
 f2 s =
  (* Inline OCaml code *)
  (* --- RAW --- *)
    
    let (str, s) = s in
    print_string str;
  (* --- /RAW --- *)
  s

in
(* Group 3 *)
let rec
(* Word: 目的 *)
 main s =
  (* Push string *)
  let s = ("こんにちは世界", s) in
  (* Call を *)
  let s = f1 s in
  (* Call 話す *)
  let s = f2 s in
  s

in

  main ()