SYNOPSIS int file_time( string filename) FILE /kernel/simul_efun/files.h DESCRIPTION Returns the time of the last modification of a file in seconds since 1970 SEE ALSO efun/time, efun/ctime