proc multiply(a : ?t ... 2)
{
   return a(0) * a(1)
}