const border_color_setterinfo: JSJitInfo;