let bool_no () =
  Printf.printf "# Result: false\n"