Symbol: devi_branch_t