--execS :: S s a -> s -> IO s
--execS (S g) = g (\_ -> return)

-----------------------------------------------------------------------------

-- VACUUM: All this just to get itblCodeLength.

-- Make code which causes a jump to the given address.  This is the
-- only arch-dependent bit of the itbl story.  The returned list is
-- itblCodeLength elements (bytes) long.

-- For sparc_TARGET_ARCH, i386_TARGET_ARCH, etc.
-- #include "nativeGen/NCG.h"
-- VACUUM: we get *_TARGET_ARCH from ghcplatform.h instead

itblCodeLength :: Int
itblCodeLength = length (mkJumpToAddr undefined)
itblCodeLength :: Int
itblCodeLength = length (mkJumpToAddr undefined)
itblCodeLength = length (mkJumpToAddr undefined)