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 that x32 is a ILP32 ABI to set the correct interface to pass
64-bits values through syscalls. */