1
Currently at Columbia University.
2
We write “$ command” for commands that you type on a shell; everything else is the output of the system.
3
The features PSV and TPC are treated specially, and individual variables occurring as value of these features are ignored by the codec.