declaration/definition
declare #main-output has referents-displayed
By default #main-output has referents-allowed. This declaration is used to enable
referents-displayed on #main-output. This can be useful when referents are written to
#main-output: it allows the output to be examined to determine where the referents are being
emitted.