let bool_yes () =
  Printf.printf "# Result: true\n"