initial_branchpoint
