Minor changes. Doing symbol translation but not outputting, yet.