diff --git a/ulm-semantics/targets/execution/configuration.md b/ulm-semantics/targets/execution/configuration.md
index b14867e2..47862f25 100644
--- a/ulm-semantics/targets/execution/configuration.md
+++ b/ulm-semantics/targets/execution/configuration.md
@@ -22,12 +22,15 @@ module ULM-TARGET-CONFIGURATION
     imports RUST-EXECUTION-CONFIGURATION
     imports ULM-CONFIGURATION
     imports ULM-FULL-PREPROCESSED-CONFIGURATION
+    imports ULM-PREPROCESSING-EPHEMERAL-CONFIGURATION
 
     configuration
+        <ulm-preprocessing-ephemeral/>
         <ulm-full-preprocessed/>
         <ulm/>
         <execution/>
         <k/>
+
 endmodule
 
 ```
diff --git a/ulm-semantics/targets/execution/ulm-target.md b/ulm-semantics/targets/execution/ulm-target.md
index 5e931ea0..7e433e89 100644
--- a/ulm-semantics/targets/execution/ulm-target.md
+++ b/ulm-semantics/targets/execution/ulm-target.md
@@ -1,20 +1,26 @@
 ```k
 
 requires "../../main/decoding.md"
+requires "../../main/encoding.md"
 requires "../../main/execution.md"
+requires "../../main/preprocessing.md"
 requires "configuration.md"
 requires "rust-semantics/rust-common.md"
 requires "rust-semantics/rust-common-syntax.md"
 
+
 module ULM-TARGET-SYNTAX
 endmodule
 
 module ULM-TARGET
     imports private RUST-COMMON
     imports private ULM-DECODING
+    imports private ULM-ENCODING
     imports private ULM-EXECUTION
+    imports private ULM-PREPROCESSING
     imports private ULM-SEMANTICS-HOOKS-TO-ULM-FUNCTIONS
     imports private ULM-TARGET-CONFIGURATION
+
 endmodule
 
 ```