if Info.Flags.Modules then
      Put ("Modules info present", Screen_Width_Range'First, Line);

      Line := Line + 1;

      if Info.Modules.Count = 2 then
         declare
            package To_Modules is new System.Address_To_Access_Conversions
              (Object => Modules);

            Modules : To_Modules.Object_Pointer := To_Modules.To_Pointer
              (Info.Modules.First);
            pragma Unreferenced (Modules);
         begin
            Put ("2 modules loaded is correct",
                 Screen_Width_Range'First, Line);

            Line := Line + 1;
         end;
      end if;
   end if;