#!/bin/sh
cat headerBodies | awk -f generateHeaders.awk