see question in No GNATtest in GNAT Community Edition?
On Windows 10, using GNAT CE 2020, when I build gnattest following the guidance in the ASIS package mentioned i
