Random jump added as random-start.cpp