if a := b then begin ... end