. RUNNING THE TRANSLATOR
The Prop translator is a program called prop. The translator
uses the following command line syntax:
Running_Prop ::= prop [ prop_options ] file ¼ file
Here, File is a file with suffix .p*. By default, the output
file will have the same name with the p extension removed.
For example, a file named ``foo.pC'' will be translated into
the file ``foo.C'' Similarly, a file named ``bar.ph'' will be translated
into ``bar.h''