32V/usr/include/ident.h

char myname[] = "research VAX-11/780";