injectSetupValueJVM ::
  Sym                  ->
  Options              ->
  JVMCrucibleContext   ->
  SharedContext        ->
  CrucibleMethodSpecIR ->
  SetupValue           ->
  OverrideMatcher CJ.JVM w (Crucible.RegValue Sym CJ.JVMValueType)
injectSetupValueJVM sym opts cc sc spec val =
  injectJVMVal sym <$> resolveSetupValueJVM opts cc sc spec val
injectSetupValueJVM ::
  Sym                  ->
  Options              ->
  JVMCrucibleContext   ->
  SharedContext        ->
  CrucibleMethodSpecIR ->
  SetupValue           ->
  OverrideMatcher CJ.JVM w (Crucible.RegValue Sym CJ.JVMValueType)
injectSetupValueJVM sym opts cc sc spec val =
  injectJVMVal sym <$> resolveSetupValueJVM opts cc sc spec val
injectSetupValueJVM sym opts cc sc spec val =
  injectJVMVal sym <$> resolveSetupValueJVM opts cc sc spec val