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