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