We tried making everything symbolic in one shot, but it didn't fix anything.
Adding csv to ktest util to source control.