Modified export

Modified: src/pointer-stack-io.c