Added procs and lambdas example