const border_image_width_setterinfo: JSJitInfo;