Copyright headers

Here are some copyright headers you might use in your code: