import lib_std_map

a1 = lib_std_map.A(3)
a2 = lib_std_map.A(7)


if 1:
  p0 = lib_std_map.pairii(1,2)
  p1 = lib_std_map.pairA(1,a1.this)
  m = {}
  m[1] = a1
  m[2] = a2
  
  lib_std_map.p_identa(p1)
  lib_std_map.m_identa(m)