:: String -> Maybe Int package:open-witness