The name of the programmer's cat