let help = ("only remove unused global types and variables "^
                       "(automatically done by -sparecode-analysis)")