adv_map A = [2,5]
adv_map B(0x0200000000000000030000000000000004000000000000000500000000000000) = [3]
adv_map C([3,4,5,6]) = [4]
begin
push.A
adv.push_mapval
adv_push.1
push.2
assert_eq
dropw
push.0x0200000000000000030000000000000004000000000000000500000000000000
adv.push_mapval
adv_push.1
push.3
assert_eq
dropw
push.C
adv.push_mapval
adv_push.1
push.4
assert_eq
dropw
end