proc getVersionString(verbose = false): string {....raises: [], tags: [],
    forbids: [].}