const text_decoration_color_setterinfo: JSJitInfo;