Add example: encoding-expr.iod