let string_of_status result = (match result with | Unknown -> "unknown" | True -> "valid" | False -> "invalid")