Testing atthkgen_test ... passed
