Added DDK.eval().