procedure hexcvt(s)
   return integer("16r" || s)
end