[fooker]

The tricky part is doing this without knowing the value of x!

This is why compilers have to rely on static analysis.