const span_setterinfo: JSJitInfo;