Symbol: setup_part