more examples in hfcs book