Hacker style versus the Dijkstra style