#! /bin/sh

../sh/prot replay.c | tee replay-prot.h
