What's `ctxt` for?