FACT++  1.0
std::pair<Time, int32_t> DimState::cur