87% src/hc.ml