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