Updating: supporting loop compilation.