/* dummy statement */
think(NULL);