Choctober 2016 - Extended Version