EXTRA_DIST = \
	badaddrvalue.c badjump.c \
	badloop.c bitfield1.c \
	blocked_syscall.c clientperm.c \
	clientstackperm.c coolo_sigaction.cpp \
	coolo_strlen.c coolo_strlen.s \
	cpuid_c.c cpuid_s.s \
	doublefree.c errs1.c \
	exitprog.c floored.c \
	fprw.c fwrite.c \
	inline.c inlineh.c \
	inlineh.h malloc1.c \
	malloc2.c manuel1.c \
	manuel2.c manuel3.c \
	memalign_test.c memcmptest.c \
	memtests.cpp mmaptest.c \
	oneparam.c pushfpopf_c.c \
	pushfpopf.s rcl_assert.s \
	rcrl.c readline1.c \
	realloc1.c sha1.test.c \
	shortpush.c shorts.c \
	signal1.c signal2.c \
	signal3.c smc1.c \
	suppfree.c tronical.c \
	tronical.s twoparams.c \
	twoparams.s