ctfInfoWrite
in ctfInfo.h
extern void ctfInfoWrite(FILE* fpt,
ctfInfo
ctf, char* pre, int mode);