const counterReset_getterinfo: JSJitInfo;