{assert({f=a})}