const counterReset_setterinfo: JSJitInfo;