int init_shared_file(int *, char*, size_t); int open_shared_file(int *, char*, size_t);