1 /* this is a replacement header for a missing system header */
2 #include "replace.h"
3