Edit: xpointer.h