These two cases are really one case:
```
intp.kindCommandInternal(s stripPrefix "-v " trim, verbose = s startsWith "-v ")
```