Symbol: primary_smach