Initial work

I notice some files that we ported have this copyright header but others don't.