const border_bottom_setterinfo: JSJitInfo;