let succeedf fmt= ksprintf succeed fmt