# Last edited on 2024-11-16 09:51:20 by stolfi

# Gets the size of a {ptrdiff_t} under _GNU_SOURCE.