Re: [PATCH v3 4/6] tests/allfcts.c: Install alternate debug information