FRK4State::FRK4State