const label_setterinfo: JSJitInfo;