# name: PR 12854: Extraneous shifts
# as:
# error-output: shift-bad.l