int lock_file(char *, int);
int unlock_file(char *);