Rename opts (transient interpreter state) => ctx