const border_bottom_color_setterinfo: JSJitInfo;