void pike_module_files_init(void), pike_module_files_exit(void);
