const onresourcetimingbufferfull_getterinfo: JSJitInfo;