On Fri, Oct 8, 2021 at 9:57 PM Sergey Bugaev <bugaevc@gmail.com> 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