let simple_example() =
  begin
    printf "\nsimple_example\n";
    let ctx = mk_context [||] in
    (* do something with the context *)
    printf "CONTEXT:\n%sEND OF CONTEXT\n" (Z3.context_to_string ctx);
    (* delete logical context *)
    Z3.del_context ctx;
  end