loadLocal :: Throws (Located GeneratorError) e => Int -> FieldType -> GenerateJvm e ()
loadLocal idx t = do
  instruction <- getInstruction "local variable type" t tiLoad
  prog <- gets programName
  liftG $ 
    J.i0 $ instruction $ fromIntegral (idx+1)
loadLocal :: Throws (Located GeneratorError) e => Int -> FieldType -> GenerateJvm e ()
loadLocal idx t = do
  instruction <- getInstruction "local variable type" t tiLoad
  prog <- gets programName
  liftG $ 
    J.i0 $ instruction $ fromIntegral (idx+1)
loadLocal idx t = do
  instruction <- getInstruction "local variable type" t tiLoad
  prog <- gets programName
  liftG $ 
    J.i0 $ instruction $ fromIntegral (idx+1)