; RUN: llvm-as %s -o /dev/null -f

  type { { \2 *, \4 ** },
         { \2 *, \4 ** }
       }