Fixing closure results and argument allocas.