reuse `thin` in DiffCheck