void integrator_init_early(void);

  void integrator_reserve(void);

  void integrator_restart(char, const char *);