const border_bottom_width_setterinfo: JSJitInfo;