On Fri, Oct 8, 2021 at 9:57 PM Sergey Bugaev <[email protected]> wrote: > type recnum_t = uint64_t | array[*:2] of uint32_t;
Hm, no, that wouldn't actually work, it's still a type mismatch. And 'polymorphic' is not polymorphic enough. type recnum_t = array[*:2] of uint32_t would work, but that changes libc *API*, at which point it's _really_ not worth it. Fine. Sergey

