~ Trace test { 1 2 3 + + ! } $