Include ResetCounter type