const border_width_setterinfo: JSJitInfo;