Source code from jozi-jug annotations presentation