proc private_syscmd_ver(system, release, version = "";
                        supported_platforms = @["win32", "win16", "dos"]): tuple[
    system, release, version: string] {....raises: [IOError, ValueError,
    EInvalidPeg, Exception], tags: [ExecIOEffect, ReadIOEffect, RootEffect],
                                        forbids: [].}