Implement port.h for gdc.