Symbol: READ_POINTER