#!/bin/sh

../sh/prot main-unix.c | tee main-unix-prot.h
