let
succeedf fmt= ksprintf succeed fmt