let
quiet =
StdOpt
.store_true ()