#!/bin/bash

cat test/t${1}
echo ""  # empty line to separate
cat test/t${1} | dist/build/parse-hm/parse-hm | dist/build/hm2systemf/hm2systemf | dist/build/pp-systemf/pp-systemf
