let
summary =
StdOpt
.store_true ()