*** catbtor: parse error in 'unordered.in' line 3: id out-of-order