Since we know the type of the components, we may just as well create the pair directly! (Using make_pair invokes compiler bugs in GCC).