local `ctx` is never accessed.