Playing with it I found some strange behaviour: >> body-of :f == [do reduce [func [x /local a] [a: x + 1 a * 2] x]] >> at body-of :f 3 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at body-of :f 3 1 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at at body-of :f 3 1 1 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at at at body-of :f 3 1 1 1 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at at at at body-of :f 3 1 1 1 1 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at at at at at body-of :f 3 1 1 1 1 1 == [[func [x /local a] [a: x + 1 a * 2] x]] >> at at at at at at at body-of :f 3 1 1 1 1 1 1 == [[func [x /local a] [a: x + 1 a * 2] x]]