prettyInstruction dex _ (LoadConst d c@(ConstWideHigh16 _)) =
  constStr dex "const-wide/high16" d c
prettyInstruction dex _ (LoadConst d c@(ConstWideHigh16 _)) =
  constStr dex "const-wide/high16" d c
prettyInstruction dex _ (LoadConst d c@(ConstWideHigh16 _)) =
  constStr dex "const-wide/high16" d c