prettyInstruction dex _ (Invoke kind range mid args) =
  mkInsn ("invoke-" <>
          ikindStr kind <>
          if range then "/range" else "")
         [ PP.brackets (M.mconcat (PP.punctuate ", " (map iregStr16 args)))
         , methodStr' dex mid
         ] <>
  methodComm mid
prettyInstruction dex _ (Invoke kind range mid args) =
  mkInsn ("invoke-" <>
          ikindStr kind <>
          if range then "/range" else "")
         [ PP.brackets (M.mconcat (PP.punctuate ", " (map iregStr16 args)))
         , methodStr' dex mid
         ] <>
  methodComm mid
prettyInstruction dex _ (Invoke kind range mid args) =
  mkInsn ("invoke-" <>
          ikindStr kind <>
          if range then "/range" else "")
         [ PP.brackets (M.mconcat (PP.punctuate ", " (map iregStr16 args)))
         , methodStr' dex mid
         ] <>
  methodComm mid