void read_data( FILE* );
void read_mod( FILE* );
void write_llr( FILE*, FILE*, double*);