diff --git a/Bench/009-rolling-max.py b/Bench/009-rolling-max.py
index 4787d56..725a910 100644
--- a/Bench/009-rolling-max.py
+++ b/Bench/009-rolling-max.py
@@ -3,8 +3,12 @@
 
 @Pure
 def getVal(mx: Optional[int]) -> int:
-    Requires(mx is not None)  
-    return mx  
+    # pre-conditions-start
+    Requires(mx is not None)
+    # pre-conditions-end
+    # impl-start
+    return mx
+    # impl-end
 
 def rolling_max(numbers: List[int]) -> List[int]:
     # pre-conditions-start