#! /bin/sh

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