Distribution: sequence.cc