docs: move 4th BUG example into tracing-examples.ts

Move the "Function call and return" (Adder) example into
tracing-examples.ts with proper indentation, matching the
pattern established for the other three examples.

Author: gnidan

packages/web/docs/core-schemas/programs/tracing-examples.ts

@@ -51,3 +51,23 @@ code {
   a = a + 1;
   b = b + 1;
 }`;
+
+export const functionCallAndReturn = `name Adder;
+
+define {
+  function add(a: uint256, b: uint256) -> uint256 {
+    return a + b;
+  };
+}
+
+storage {
+  [0] result: uint256;
+}
+
+create {
+  result = 0;
+}
+
+code {
+  result = add(3, 4);
+}`;

packages/web/docs/core-schemas/programs/tracing.mdx

@@ -9,6 +9,7 @@ import {
   counterIncrement,
   thresholdCheck,
   multipleStorageSlots,
+  functionCallAndReturn,
 } from "./tracing-examples";
 
 # Tracing execution
@@ -91,25 +92,7 @@ trace. Watch for **invoke** contexts on the JUMP into `add` and
 <TraceExample
   title="Function call and return"
   description="Calls an internal add function and stores the result"
-  source={`name Adder;
-
-define {
-function add(a: uint256, b: uint256) -> uint256 {
-return a + b;
-};
-}
-
-storage {
-[0] result: uint256;
-}
-
-create {
-result = 0;
-}
-
-code {
-result = add(3, 4);
-}`}
+  source={functionCallAndReturn}
 />
 
 As you step through, three phases are visible: