#! /usr/bin/gawk -f
# Last edited on 1999-12-01 01:56:48 by stolfi

# Removes comments and "!" fillers

/^[#]/ { next; }

/./ { gsub(/{[^{}]*}/, "", $0); }

/[>] *$/{ next; } 

/./ { gsub(/[!]/, "", $0); print }