Symbol: DOTDOT_OFFSET