Symbol: GET_WIDTH