#! /bin/sh

../sh/prot play-rep.c | tee play-rep-prot.h
