00001 #ifndef __portInterfaces_h_seen 00002 00007 #define __portInterfaces_h_seen 00008 00010 //#include "port/PrintfPort.h" 00011 //#include "port/KeyValuePort.h" 00012 00013 #endif // __portInterfaces_h_seen