diff --git a/test/libyul/yulOptimizerTests/fullSuite/reserved_identifiers.yul b/test/libyul/yulOptimizerTests/fullSuite/reserved_identifiers.yul
new file mode 100644
index 000000000..40bcbd64a
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullSuite/reserved_identifiers.yul
@@ -0,0 +1,32 @@
+{
+	function g_(x) -> z_ {
+		if calldataload(1) { z_ := g_(x) }
+		sstore(z_, calldataload(add(x, 1)))
+	}
+	function datasize_(x) -> linkersymbol_ {
+		if calldataload(0) { linkersymbol_ := datasize_(x) }
+		sstore(linkersymbol_, calldataload(linkersymbol_))
+	}
+	let dataoffset_ := datasize_(7)
+	let x_ := g_(9)
+	sstore(dataoffset_, x_)
+}
+// ----
+// step: fullSuite
+//
+// {
+//     {
+//         let dataoffset_ := datasize_(7)
+//         sstore(dataoffset_, g(9))
+//     }
+//     function g(x) -> z
+//     {
+//         if calldataload(1) { z := g(x) }
+//         sstore(z, calldataload(add(x, 1)))
+//     }
+//     function datasize_(x) -> linkersymbol_
+//     {
+//         if calldataload(linkersymbol_) { linkersymbol_ := datasize_(x) }
+//         sstore(linkersymbol_, calldataload(linkersymbol_))
+//     }
+// }