Symbol: TCTL_ADDR