#!/bin/sh
c="$(basename $1 .shilka).c"
shilka -length -strip -no-definitions $1 && \
sed -e '1,4d' -e '/KR_reset.*;/d' -e '/KR_output_statistics.*;/d' \
    -e '/KR_reset.*)/,/}/d' -e '/KR_output_statistics.*)/,/}/d' \
    -e '/# *line/d' "$c" > $2 &&
rm -f "$c"
#    -e "s%$c"'"%'"$2"'"%g'