Removed some unnecessary id->id->tc_num since tc_num is a symbol member now