FCE expressions with Put

;