| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .aux | heap-aux-inst | f | objaux → aux |
| . .obj | heap-aux-inst | f | objaux → obj |
| . ×× . | heap-aux-inst | f | obj × aux → objaux |
| aux | aux | s | |
| aux | heap-aux-inst | v | aux |
| oa | heap-aux-inst | v | objaux |
| obj | obj | s | |
| obj | heap-aux-inst | v | obj |
| objaux | heap-aux-inst | s |