https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80117
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> What is the definition of System.Word_Size anyway?
The language RM says (13.7/32):
Word_Size
The number of bits per word.
