htl_verify
