Bug fix: The printer procedure now handles multiple back references.
