Evaluated proc ^_ {} {return }