Add a triple to this test to get the right IR mangling