int cgiMainFv();
}

void cgiHeaderContentType(char *pc);

void cgiHeaderContentType__FPc(char *pc){
  cgiHeaderContentType(pc);
}