Trying out the polycode framework