void pike_module_system_init(void), pike_module_system_exit(void);
