sounds.go doesn't have a copyright header, because the file is generated
by a program. I don't want to make it output the copyright header,
because users can generate sounds themselves, and the copyright status
of such generated files can be different.