Hi Arnaldo, On Mon, Feb 13, 2023 at 1:09 PM Arnaldo Carvalho de Melo <arnaldo.melo@xxxxxxxxx> wrote: > > The namespace.o seems to be ok: I saw the other message too -- this looks great, thanks a ton. > The core one needs work: If `core.o` works, then I think it is likely other things will work :) I can try to extract the cases for those into simpler `.o` files, if you would find simpler test cases useful (perhaps for the test suite etc.). Cheers, Miguel