coins/test/c/HirC
