# Brian Kernighan