error-binary.ck:1:3: error: cannot perform '+' on object references
[1] 1 + dac;
      ^
