Copyright header and module declaration