void decoder_stacked(void* decoder); ///< decoder is of type decode::Decoder*
void decoder_removed(void* decoder); ///< decoder is of type decode::Decoder*
void new_annotations(); // TODO Supply segment for which they belong to
void decoder_stacked(void* decoder); ///< decoder is of type decode::Decoder*
void decoder_removed(void* decoder); ///< decoder is of type decode::Decoder*
void new_annotations(); // TODO Supply segment for which they belong to