anchor.diff:                      | {'record', record()}
                       | {'text', string()}.
   
  +-ifdef(DEBUG).
  +-opaque anno() :: [annotation(), ...].
  +-else.
   -opaque anno() :: location() | [annotation(), ...].
  +-endif.
   -type anno_term() :: term().
   
   -type column() :: pos_integer().
  
positive.code: 
  %% Debug: define DEBUG to make sure that annotations are handled as an
  %% opaque type. Note that all abstract code need to be compiled with
  %% DEBUG=true. See also ./erl_pp.erl.
  
  %-define(DEBUG, true).
  
  
negative.code: %%
  %% %CopyrightBegin%
  %%
  %% Copyright Ericsson AB 1996-2017. All Rights Reserved.
  %%
  %% Licensed under the Apache License, Version 2.0 (the "License");
  %% you may not use this file except in compliance with the License.
  