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

kk: VAR nzint