const onresourcetimingbufferfull_setterinfo: JSJitInfo;