Chapter 6 - The Cockpit Synthesizer
Parameter Conversions Specifications (PCS) are used in two places.
Although the type definitions look exactly the same in both cases, the code created is completely different.