whoops, removed debug info from the rust_data example
whoops, removed debug info from the rust_data example

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script