use 64bits for the counter