Corpus for arch_prctl$ARCH_MAP_VDSO_X32:

Coverage	Program
13	arch_prctl$ARCH_MAP_VDSO_X32