Reconciled the pickle and boot-pickle formats.
Output the abstraction instead of its codearea.