diff --git a/examples/exercises/7p12/buga.sh b/examples/exercises/7p12/buga.sh
new file mode 100755
index 000000000..85cdf144a
--- /dev/null
+++ b/examples/exercises/7p12/buga.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+sed -i 's/logic \[`CTRLW-1:0] ControlsD/logic        ControlsD/' $WALLY/src/ieu/controller.sv
+
diff --git a/examples/exercises/7p12/bugall.sh b/examples/exercises/7p12/bugall.sh
new file mode 100755
index 000000000..1537e6f1d
--- /dev/null
+++ b/examples/exercises/7p12/bugall.sh
@@ -0,0 +1,4 @@
+$WALLY/examples/exercises/7p1/buga.sh
+$WALLY/examples/exercises/7p1/bugb.sh
+$WALLY/examples/exercises/7p1/bugc.sh
+$WALLY/examples/exercises/7p1/bugd.sh
diff --git a/examples/exercises/7p12/bugb.sh b/examples/exercises/7p12/bugb.sh
new file mode 100755
index 000000000..fc90f3019
--- /dev/null
+++ b/examples/exercises/7p12/bugb.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+sed -i 's/R2D, R2E/R2D, R1E/' $WALLY/src/ieu/datapath.sv
+
diff --git a/examples/exercises/7p12/bugc.sh b/examples/exercises/7p12/bugc.sh
new file mode 100755
index 000000000..8d8fb55d5
--- /dev/null
+++ b/examples/exercises/7p12/bugc.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+sed -i 's/assign reset_ext = /assign reset_ext = 1 | /' $WALLY/testbench/testbench.sv
+
diff --git a/examples/exercises/7p12/bugd.sh b/examples/exercises/7p12/bugd.sh
new file mode 100755
index 000000000..3fe5dcd48
--- /dev/null
+++ b/examples/exercises/7p12/bugd.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+sed -i 's/LTU}/LT}/' $WALLY/src/ieu/alu.sv
+