let check names c =     if c then ()     else ksprintf fail "test.assert failed: %s" (String.concat ~sep:" → " names)