1 void integrator_init_early(void); 2 void integrator_reserve(void); 3 void integrator_restart(char, const char *); 4