Symbol: offset2ptr