const border_left_width_setterinfo: JSJitInfo;