coins/test/c-not-for-auto-test/Hir2c
