#include /* * @unimplemented */ void **__pxcptinfoptrs (void) { return NULL; }