record largint(coeff,link)

procedure mpy(g1,g2)
   local prod
   if /(g1 | g2) then return &null	# zero product
   prod := g1.coeff * g2.coeff
   return largint(prod % base,
      add(mpy(largint(g1.coeff),g2.link),mpy(g1.link,g2),
      largint(prod / base)))
end