do you have a local checkout of spicedb you can use? I put in a printf to log the tokens on both sides