The camps I have worked at haven't been all that big on the "traditional" camp songs I suppose- the only one I recognize, like camper, is the baby shark one and we renamed it baby jaws. We cut out anything that might have been violent- we just went from "shark attack" to "happy jaws" and left it at that. I worked at a day camp though so I can just imagine the complaints we would have gotten from some parents if we started talking about losing arms and legs to sharks.
