(let ((x 3))
    (let ((y (@- x 3)) (z (@- x 3)))
        (let ((w (@+ y z)))
            (halt w))))