: (de pi () 4)
-> pi

: (pi)
-> 4