Suppose that there is the possibility that Form 1116 Schedule B need not need to be in a binary/specified name. 

Wondered, as for business returns, believe these were the only specific labels required:

chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/https://www.irs.gov/pub/irs-schema/tax-year-2023-recommended-names-and-descriptions-for-pdf-files-by...

Didn't see a list for individual returns. 

Will update once any word from Proseries, if I ever get through...