/*int centisecs=tt/(play_mode->rate/100);*/ int centisecs=tt*100/play_mode->rate;  
ctl_total_time(int tt){  /*int centisecs=tt/(play_mode->rate/100);*/  int centisecs=tt*100/play_mode->rate;    gtk_pipe_int_write(TOTALTIME_MESSAGE);    gtk_pipe_int_write(centisecs);}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/44691c3ffddc61a28b98c46a76a26d06a763d59d/gtk_c.c/buggy/interface/gtk_c.c