Corpus for arch_prctl$ARCH_MAP_VDSO_X32:

Coverage	Program