Symbol: POINTER_WIDTH