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