man page: Example of annotate -a file