multi let and multi proc args