Source code for Darlo Uncovered version 4