syntax update washing machine example