The code inserts a standard header into examples.