int convertToPhase(char *tecFilename, char *outFilename, int width, float fc);
float tecToPhase(float tec, float fc);