You should have received a copy of the GNU Lesser General Public
License along with the GNU C Library; if not, see
- <http://www.gnu.org/licenses/>. */
+ <https://www.gnu.org/licenses/>. */
#define f32xaddf64x __hide_f32xaddf64x
#define f32xaddf128 __hide_f32xaddf128