base.UpdateVar[X:imm,mut,read]

mut #(x: X): X,
mut #(x: X): X,