Make hexval() available to others.