#include "../../explicitvectors.hh" #include "../../data-structures/program_state.hh" using MyProgramState = ProgramState<Vector, ScalarVector>; template class RestartBodyIO<MyProgramState>; template class RestartIO<MyProgramState>;