Hadoc Test Suite