annotations for h4sh / testsuite /