Symbol: j2c_pointer