There should be a return "x86_64" here, right?