// Counter result: 1