char *release = "Lint/2.1 (Berkeley) 3/18/87";