ports/math/hc
