Verified class StatsPatcher