Redefined state type in LibDSFMT