mojo_dumptok now returns a string constant