public int size() { return map.size(); }
public int size() { synchronized (sync) { return map.size(); } }