resolveAllocIndexJVM :: AllocIndex -> OverrideMatcher CJ.JVM w JVMRefVal
resolveAllocIndexJVM i =
  do m <- OM (use setupValueSub)
     case Map.lookup i m of
       Just rval -> pure rval
       Nothing ->
         panic "JVMSetup" ["resolveAllocIndexJVM", "Unresolved prestate variable:" ++ show i]
resolveAllocIndexJVM :: AllocIndex -> OverrideMatcher CJ.JVM w JVMRefVal
resolveAllocIndexJVM i =
  do m <- OM (use setupValueSub)
     case Map.lookup i m of
       Just rval -> pure rval
       Nothing ->
         panic "JVMSetup" ["resolveAllocIndexJVM", "Unresolved prestate variable:" ++ show i]
resolveAllocIndexJVM i =
  do m <- OM (use setupValueSub)
     case Map.lookup i m of
       Just rval -> pure rval
       Nothing ->
         panic "JVMSetup" ["resolveAllocIndexJVM", "Unresolved prestate variable:" ++ show i]