prettyInstruction dex _ (InstanceOf dst ref tid) =
  mkInsn "instance-of"
         [ iregStr8 dst, iregStr8 ref, getTypeName' dex tid ] <>
  typeComm tid
prettyInstruction dex _ (InstanceOf dst ref tid) =
  mkInsn "instance-of"
         [ iregStr8 dst, iregStr8 ref, getTypeName' dex tid ] <>
  typeComm tid
prettyInstruction dex _ (InstanceOf dst ref tid) =
  mkInsn "instance-of"
         [ iregStr8 dst, iregStr8 ref, getTypeName' dex tid ] <>
  typeComm tid