diff --git a/dhscanner-bitcode.cabal b/dhscanner-bitcode.cabal
--- a/dhscanner-bitcode.cabal
+++ b/dhscanner-bitcode.cabal
@@ -20,7 +20,7 @@
     in mind. The commands resemble an abstract RISC-style assembley, motivated by keeping
     later-phases analyses as simple as possible.
 
-version:            1.0.6
+version:            1.0.7
 license:            GPL-3.0-only
 license-file:       LICENSE
 author:             OrenGitHub
diff --git a/src/Bitcode.hs b/src/Bitcode.hs
--- a/src/Bitcode.hs
+++ b/src/Bitcode.hs
@@ -79,6 +79,7 @@
    | LoadImmStr StrContent
    | LoadImmInt IntContent
    | LoadImmBool BoolContent
+   | LoadImmNull NullContent
    | ParamDecl ParamDeclContent
    | FieldRead FieldReadContent
    | FieldWrite FieldWriteContent
@@ -241,6 +242,14 @@
      {
          loadImmBoolOutput :: TmpVariable,
          loadImmBoolValue :: Token.ConstBool
+     }
+     deriving ( Show, Eq, Generic, ToJSON, FromJSON, Ord )
+
+data NullContent
+   = NullContent
+     {
+         loadImmNullOutput :: TmpVariable,
+         loadImmNullValue :: Token.ConstNull
      }
      deriving ( Show, Eq, Generic, ToJSON, FromJSON, Ord )
 
diff --git a/src/Fqn.hs b/src/Fqn.hs
--- a/src/Fqn.hs
+++ b/src/Fqn.hs
@@ -22,3 +22,8 @@
 nativeStr :: Fqn
 nativeStr = Fqn { content = "str" }
 
+nativeBool :: Fqn
+nativeBool = Fqn { content = "bool" }
+
+nativeNull :: Fqn
+nativeNull = Fqn { content = "null" }
