This function is being called from a single place, so there's no need to have default arguments here (additionally, the default you chose is wrong, as you treat `archs` as a sequence type in the rest of the code).