typedef int alpha __attribute__((__vector_size__(16)));

int bravo;
__attribute__((always_inline)) alpha charlie(alpha delta) {
  if (bravo == 1) {
    return __extension__({
      alpha echo;
      __builtin_shufflevector(delta, delta);
    });
  }
}
alpha foxtrot(alpha golf) {
  return (charlie(golf));
}
