Mines: An implementation example.