#!/bin/sh

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