from lpython import i32

def test():
    d: dict[str, i32] = {'a': 1, 'a': 1}
    print(len(d))   # 2
    d.pop('a')
    print(len(d))   # 1
    d.pop('a')
    print(len(d))   # 0
    d.pop('a')
    print(len(d))   # -1

test()

from lpython import i32

def test():
    d: dict[i32, i32] = {2: 1, 2: 1}
    print(len(d))   # 1
    d.pop(2)
    print(len(d))   # 0
    d.pop(2)
    print(len(d))   # -1
    d.pop(2)
    print(len(d))   # -2

test()