structTest :: Def ('[] :-> Uint32)
structTest = proc "structTest" $ ensures (==? 22) $ body $ do
  struct <- local $ istruct [ i .= ival 22 ]
  a <- deref $ struct ~> i
  ret a
structTest :: Def ('[] :-> Uint32)
structTest = proc "structTest" $ ensures (==? 22) $ body $ do
  struct <- local $ istruct [ i .= ival 22 ]
  a <- deref $ struct ~> i
  ret a
structTest = proc "structTest" $ ensures (==? 22) $ body $ do
  struct <- local $ istruct [ i .= ival 22 ]
  a <- deref $ struct ~> i
  ret a