Synchronized extended API

Modified: src/include/pointer-stack.h