let
default () =
true