(proc (x) +(x,x) 20)

What is the desugared equivalent of let x = 20 in +(x,x)?