8.12 Notes on executing pdrorg on special tables

Organization of this section
8.12.1 Table with an abstract data type
8.12.2 Falsification prevented table