Collecting all B definitions to make the recursive machine loader happy