another operand truncation case: binop/lit16