#! /bin/bash -eu
# Last edited on 2025-12-04 20:27:35 by stolfi

# Reads an EVT or IVT file from stdin,  
# Writes to stdout all weirdos, one per line.
# Assumes that a weirdo is [&@]{NNN} with optional ";",]
# or [@&]{ANY}[;].

cat \
  | sed \
      -e '/^[ ]*\([#]\|$\)/d' \
      -e '/^<f[0-9rv]+>/d' \
      -e 's:[#].*$::g' \
      -e 's:[<][!][^<>]*[>]::g' \
      -e 's:[@&]\([0-9][0-9][0-9]\)[;]*:#\1#<NOT.1>:g' \
      -e 's:[@&]\([^;]*\)[;]:#\1#<NOT.2>:g' \
  | tr '#' '\012' \
  | egrep -v -e '^[<]'