void primitive_open_file(void);