add addr2off and two assertions