eval.t: add bug number