Evaluated proc a {name {val {}}} {}