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

jj: VAR nzint