FDL > PVS > Number Theory > gcd > ii : var-decl

ii: VAR nzint