case head variables no longer leak out