multi argments proc and multi let