/*
* Before decl.c 1.215 from 2021-07-31, lint wrongly treated __uint128_t and
* __int128_t as being equivalent to a missing type specifier, thereby
* defaulting to int. This led to warnings like:
*
* shift amount 105 is greater than bit-size 32 of 'int' [122]
*
* These warnings had been discovered in ecp_nistp256.c(296).
*/