From @aron > looks like the Stainless implementation doesn't support retrieving the replicate token from current_scope() just yet. TODO: add context about what this means and what it's for.
