#!/bin/sh

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