Shadowed variables are hard