Yes, this is the same `ctx`. It is called `$ctx` in code that also contains user code.