You forgot to implement the `exec_ctxt` version