diff --git a/Language/Paraiso/Annotation/Execution.hs b/Language/Paraiso/Annotation/Execution.hs
new file mode 100644
--- /dev/null
+++ b/Language/Paraiso/Annotation/Execution.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE DeriveDataTypeable, NoImplicitPrelude #-}
+{-# OPTIONS -Wall #-}
+-- | An effectless 'Annotation' with a comment 
+
+module Language.Paraiso.Annotation.Execution
+    (
+      Alive(..)
+    ) where
+
+import Data.Dynamic
+import Language.Paraiso.Prelude
+
+-- | used in dead code elimination.
+data Alive = Alive Bool
+             deriving (Eq, Show, Typeable)
diff --git a/Paraiso.cabal b/Paraiso.cabal
--- a/Paraiso.cabal
+++ b/Paraiso.cabal
@@ -15,7 +15,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.1.0.0
+Version:             0.1.0.1
 
 -- A short (one-line) description of the package.
 Synopsis:            a code generator for partial differential equations solvers.
@@ -101,6 +101,7 @@
                        Language.Paraiso.Annotation.Boundary
                        Language.Paraiso.Annotation.Comment
                        Language.Paraiso.Annotation.Dependency
+                       Language.Paraiso.Annotation.Execution
                        Language.Paraiso.Failure
                        Language.Paraiso.Generator
                        Language.Paraiso.Generator.Claris