multi-binding let; proper vector evaluation