#include <stdlib.h> /* * @unimplemented */ void **__pxcptinfoptrs (void) { return NULL; }