#!/bin/bash -e
. "$(dirname "${BASH_SOURCE[0]}")"/../../../lib/runscripts/extract_header.run
to_extract=occurrence.txt