diff --git a/.github/workflows/build-cppfront.yaml b/.github/workflows/build-cppfront.yaml
deleted file mode 100644
index c19564e98..000000000
--- a/.github/workflows/build-cppfront.yaml
+++ /dev/null
@@ -1,71 +0,0 @@
-name: Multi-platform Build of cppfront
-on:
-  pull_request:
-    branches-ignore:
-      - docs
-  push:
-    branches-ignore:
-      - docs
-  workflow_dispatch:
-
-jobs:
-  build-windows:
-    runs-on: windows-latest
-    steps:
-      - uses: actions/checkout@v3
-      - uses: ilammy/msvc-dev-cmd@v1
-      - name: Compiler name & version
-        run: cl.exe
-      - name: Build
-        run: cl.exe source/cppfront.cpp -std:c++latest -MD -EHsc -experimental:module -W4 -WX
-  build-unix-like:
-    strategy:
-      fail-fast: false
-      matrix:
-        runs-on: [ubuntu-22.04]
-        compiler: [g++-10, g++-11, g++-12, clang++-12, clang++-14]
-        cxx-std: ['c++20', 'c++2b']
-        exclude:
-          # GCC 10 doesn't have support for c++23
-          - compiler: g++-10
-            cxx-std: 'c++2b'
-          # Clang 12 and 14 do not compile on 'c++2b' due to llvm/llvm-project#58206
-          - compiler: clang++-12
-            cxx-std: 'c++2b'
-          - compiler: clang++-14
-            cxx-std: 'c++2b'
-        include:
-          - runs-on: macos-latest
-            compiler: clang++
-            cxx-std: 'c++20'
-          - runs-on: ubuntu-22.04
-            compiler: clang++-15
-            cxx-std: 'c++20'
-          - runs-on: ubuntu-24.04
-            compiler: clang++-16
-            cxx-std: 'c++20'
-          - runs-on: ubuntu-24.04
-            compiler: clang++-17
-            cxx-std: 'c++20'
-          - runs-on: ubuntu-24.04
-            compiler: clang++-18
-            cxx-std: 'c++20'
-          - runs-on: ubuntu-24.04
-            compiler: clang++-18
-            cxx-std: 'c++2b'
-          - runs-on: ubuntu-24.04
-            compiler: g++-14
-            cxx-std: 'c++2b'
-    runs-on: ${{ matrix.runs-on }}
-    env:
-      CXX: ${{ matrix.compiler }}
-      CXXFLAGS: -std=${{ matrix.cxx-std }} -Wall -Wextra -Wold-style-cast -Wunused-parameter -Wpedantic -Werror -pthread -Wno-unknown-warning -Wno-unknown-warning-option
-    steps:
-    - uses: actions/checkout@v3
-    - name: Install compiler
-      if: startsWith(matrix.runs-on, 'ubuntu')
-      run: sudo apt-get install -y $CXX
-    - name: Compiler name & version
-      run: $CXX --version
-    - name: Build
-      run: $CXX source/cppfront.cpp $CXXFLAGS -o cppfront
diff --git a/.github/workflows/build-test-pipeline.yaml b/.github/workflows/build-test-pipeline.yaml
new file mode 100644
index 000000000..316026cdb
--- /dev/null
+++ b/.github/workflows/build-test-pipeline.yaml
@@ -0,0 +1,57 @@
+name: Build Test Pipeline
+
+on:
+  pull_request:
+    branches-ignore:
+      - docs
+  push:
+    branches-ignore:
+      - docs
+  workflow_dispatch:
+
+jobs:
+  build-test-pipeline:
+    runs-on: ${{ matrix.runs-on }}
+    name: ${{ matrix.target }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - target: x64-linux-g++-c++20
+            runs-on: ubuntu-latest
+            compiler-path: /usr/bin/g++
+            compiler-flags: -std=c++20 -Wall -Wextra -pedantic -Werror -O2 '-I{1}' -o '{2}' '{0}'
+          - target: x64-windows-msvc-c++latest
+            runs-on: windows-latest
+            compiler-path: cl.exe
+            compiler-flags: /std:c++latest /MD /EHsc /experimental:module /W4 /WX /O2 /I '{1}' '{0}' /link '/out:{2}'
+          # - target: x64-macos-clang-c++20
+          #   runs-on: macos-latest-large
+          #   compiler-path: /usr/bin/clang++
+          #   compiler-flags: -std=c++20 -Wall -Wextra -pedantic -Werror -I{include_dir} -o {exe_out} {source_file}
+          # - target: arm64-macos-clang-c++20
+          #   runs-on: macos-latest
+          #   compiler-path: /usr/bin/clang++
+          #   compiler-flags: -std=c++20 -Wall -Wextra -pedantic -Werror -I{include_dir} -o {exe_out} {source_file}
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v4
+
+      - name: Activate MSVC dev environment (Windows only)
+        if: startsWith(matrix.runs-on, 'windows')
+        uses: ilammy/msvc-dev-cmd@v1
+
+      - name: Build cppfront
+        run: ${{ matrix.compiler-path }} ${{ format(matrix.compiler-flags, 'source/cppfront.cpp', './include/', 'cppfront.exe') }}
+
+      - name: Run passthrough test
+        run: echo TODO
+
+      - name: Transpile regression-runner
+        run: ./cppfront.exe -in -cwd test/ regression-runner.cpp2
+
+      - name: Build regression-runner
+        run: ${{ matrix.compiler-path }} ${{ format(matrix.compiler-flags, 'test/regression-runner.cpp', './include/', 'regression-runner.exe') }}
+
+      - name: Run regression-runner w/ directory (All tests)
+        run: ./regression-runner.exe ${{ matrix.target }} ./cppfront.exe ./test/regression ${{ matrix.compiler-path }} ./include/ ${{ format(matrix.compiler-flags, '{source_file}', '{include_dir}', '{exe_out}') }}
diff --git a/.github/workflows/regression-tests.yml b/.github/workflows/regression-tests.yml
deleted file mode 100644
index 671a892c5..000000000
--- a/.github/workflows/regression-tests.yml
+++ /dev/null
@@ -1,136 +0,0 @@
-name: Regression tests
-
-on:
-  pull_request:
-    branches-ignore:
-      - docs
-  push:
-    branches-ignore:
-      - docs
-  workflow_dispatch:
-
-jobs:
-  regression-tests:
-    name: ${{ matrix.shortosname }} | ${{ matrix.compiler }} | ${{ matrix.cxx_std }} | ${{ matrix.stdlib }} | ${{ matrix.os }}
-    runs-on: ${{ matrix.os }}
-    env:
-      CXX: ${{ matrix.compiler }}
-
-    strategy:
-      fail-fast: false
-      matrix:
-        os: [ubuntu-24.04]
-        shortosname: [ubu-24]
-        compiler: [g++-14, g++-13]
-        cxx_std: [c++2b]
-        stdlib: [libstdc++]
-        include:
-          - os: ubuntu-20.04
-            shortosname: ubu-20
-            compiler: g++-10
-            cxx_std: c++20
-            stdlib: libstdc++
-          - os: ubuntu-24.04
-            shortosname: ubu-24
-            compiler: clang++-18
-            cxx_std: c++20
-            stdlib: libstdc++
-          - os: ubuntu-22.04
-            shortosname: ubu-22
-            compiler: clang++-15
-            cxx_std: c++20
-            stdlib: libstdc++
-          - os: ubuntu-22.04
-            shortosname: ubu-22
-            compiler: clang++-15
-            cxx_std: c++20
-            stdlib: libc++-15-dev
-          - os: ubuntu-20.04
-            shortosname: ubu-20
-            compiler: clang++-12
-            cxx_std: c++20
-            stdlib: libstdc++
-          - os: macos-14
-            shortosname: mac-14
-            compiler: clang++
-            cxx_std: c++2b
-            stdlib: default
-          - os: macos-13
-            shortosname: mac-13
-            compiler: clang++
-            cxx_std: c++2b
-            stdlib: default
-          - os: macos-13
-            shortosname: mac-13
-            compiler: clang++-15
-            cxx_std: c++2b
-            stdlib: default
-          - os: windows-2022
-            shortosname: win-22
-            compiler: cl.exe
-            cxx_std: c++latest
-            stdlib: default
-          - os: windows-2022
-            shortosname: win-22
-            compiler: cl.exe
-            cxx_std: c++20
-            stdlib: default
-    steps:
-    - name: Checkout repo
-      uses: actions/checkout@v4
-
-    - name: Prepare compilers
-      if: matrix.os == 'macos-13'
-      run: |
-        sudo xcode-select --switch /Applications/Xcode_14.3.1.app
-        sudo ln -s "$(brew --prefix llvm@15)/bin/clang" /usr/local/bin/clang++-15
-
-    - name: Run regression tests - Linux and macOS version
-      if: startsWith(matrix.os, 'ubuntu') || startsWith(matrix.os, 'macos')
-      run: |
-        cd regression-tests
-        bash run-tests.sh -c ${{ matrix.compiler }} -s ${{ matrix.cxx_std }} -d ${{ matrix.stdlib }} -l ${{ matrix.os }}
-
-    - name: Run regression tests - Windows version
-      if: startsWith(matrix.os, 'windows')
-      run: |
-        "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvars64.bat" && ^
-        git config --local core.autocrlf false && ^
-        cd regression-tests && ^
-        bash run-tests.sh -c ${{ matrix.compiler }} -s ${{ matrix.cxx_std }} -d ${{ matrix.stdlib }} -l ${{ matrix.os }}
-      shell: cmd
-
-    - name: Upload patch
-      if: success() || failure()
-      uses: actions/upload-artifact@v4
-      with:
-        name: ${{ matrix.os }}-${{ matrix.compiler }}-${{ matrix.cxx_std }}-${{ matrix.stdlib }}.patch
-        path: regression-tests/${{ matrix.os }}-${{ matrix.compiler }}-${{ matrix.cxx_std }}-${{ matrix.stdlib }}.patch
-        if-no-files-found: ignore
-
-  aggregate-results:
-    needs: regression-tests
-    if:  success() || failure()
-    runs-on: ubuntu-latest
-    steps:
-      - name: Download all patches
-        uses: actions/download-artifact@v4
-        with:
-          path: downloaded-results
-
-      - name: Prepare result files
-        id: prepare_files
-        run: |
-          mkdir aggregated-results
-          echo "Flattening file hierarchy"
-          find . -type f -wholename "./downloaded-results*" -exec mv {} aggregated-results \;
-          patch_count=$(ls aggregated-results 2>/dev/null | wc -l)
-          echo "patch_count=${patch_count}" >> $GITHUB_OUTPUT
-
-      - name: Upload aggregated results
-        if: steps.prepare_files.outputs.patch_count != '0'
-        uses: actions/upload-artifact@v4
-        with:
-          name: aggregated-results
-          path: aggregated-results
-          if-no-files-found: ignore
diff --git a/test/launch_program.hpp b/test/launch_program.hpp
new file mode 100644
index 000000000..fe056372a
--- /dev/null
+++ b/test/launch_program.hpp
@@ -0,0 +1,165 @@
+#ifndef LAUNCH_PROGRAM_HPP
+#define LAUNCH_PROGRAM_HPP
+#include <filesystem>
+#include <string>
+#include <vector>
+
+struct launch_result
+{
+	int exit_status;
+	std::string output;
+};
+
+auto launch_program(
+	std::filesystem::path const& work_dir,
+	std::filesystem::path const& exe,
+	std::vector<std::string> const& args
+) -> launch_result;
+
+#ifdef LAUNCH_PROGRAM_IMPLEMENTATION
+#ifdef _WIN32
+#define _WIN32_LEAN_AND_MEAN
+#include <windows.h>
+#include <array>
+#include <iostream>
+
+auto launch_program(
+	std::filesystem::path const& work_dir,
+	std::filesystem::path const& exe,
+	std::vector<std::string> const& args
+) -> launch_result {
+	auto make_pipe_handle_pair = []() -> std::pair<HANDLE, HANDLE> {
+		SECURITY_ATTRIBUTES saAttr{sizeof(SECURITY_ATTRIBUTES), nullptr, true};
+		HANDLE read_end = nullptr;
+		HANDLE write_end = nullptr;
+		if(!CreatePipe(&read_end, &write_end, &saAttr, 0)) { return {}; }
+		if(!SetHandleInformation(read_end, HANDLE_FLAG_INHERIT, 0)) {
+			CloseHandle(write_end);
+			CloseHandle(read_end);
+			return {};
+		}
+		return {read_end, write_end};
+	};
+
+	auto [stdout_read, stdout_write] = make_pipe_handle_pair();
+	auto [stderr_read, stderr_write] = make_pipe_handle_pair();
+
+	PROCESS_INFORMATION piProcInfo;
+	ZeroMemory(&piProcInfo, sizeof(PROCESS_INFORMATION));
+
+	STARTUPINFOA siStartInfo;
+	ZeroMemory(&siStartInfo, sizeof(siStartInfo));
+	siStartInfo.cb = sizeof(siStartInfo);
+	siStartInfo.hStdOutput = stdout_write;
+	siStartInfo.hStdError = stderr_write;
+	siStartInfo.dwFlags |= STARTF_USESTDHANDLES;
+
+	std::string cl_args = exe.string();
+	for(const auto& arg : args) { cl_args.append(1, ' ').append(arg); }
+
+	if(
+		!CreateProcessA(
+			exe.string().c_str(),
+			cl_args.data(),
+			nullptr,
+			nullptr,
+			true,
+			0,
+			nullptr,
+			work_dir.string().c_str(),
+			&siStartInfo,
+			&piProcInfo
+		)
+	) {
+
+		CloseHandle(piProcInfo.hProcess);
+		CloseHandle(piProcInfo.hThread);
+
+		CloseHandle(stdout_write);
+		CloseHandle(stdout_read);
+
+		CloseHandle(stderr_write);
+		CloseHandle(stderr_read);
+
+		return {-1, {}};
+	}
+
+	CloseHandle(piProcInfo.hThread);
+
+	CloseHandle(stdout_write);
+	CloseHandle(stderr_write);
+
+	auto read_from_pipe = [](HANDLE read_end) {
+		std::array<char, 4096> buff;
+		std::string out;
+
+		while(true) {
+			DWORD bytes_read;
+			if(
+				!ReadFile(
+					read_end,
+					buff.data(),
+					static_cast<DWORD>(buff.size()),
+					&bytes_read,
+					nullptr
+				) || bytes_read == 0
+			) { break; }
+			out.append(buff.data(), bytes_read);
+		}
+
+		CloseHandle(read_end);
+		return out;
+	};
+
+	std::string output = read_from_pipe(stdout_read);
+	output += read_from_pipe(stderr_read);
+
+	DWORD exitCode{};
+	GetExitCodeProcess(piProcInfo.hProcess, &exitCode);
+	CloseHandle(piProcInfo.hProcess);
+
+	return {static_cast<int>(exitCode), output};
+}
+#else // POSIX
+#include <array>
+#include <stdio.h>
+
+auto launch_program(
+	std::filesystem::path const& work_dir,
+	std::filesystem::path const& exe,
+	std::vector<std::string> const& args
+) -> launch_result {
+	auto const prev_work_dir = std::filesystem::current_path();
+	std::filesystem::current_path(work_dir);
+
+	std::string cl_args = exe.string();
+	for(const auto& arg : args) { cl_args.append(1, ' ').append(arg); }
+	cl_args += " 2>&1";
+
+	auto const fd = popen(cl_args.c_str(), "r");
+	if(fd == nullptr) {
+		std::filesystem::current_path(prev_work_dir);
+		return {-1, {}};
+	}
+
+	std::string output;
+	{
+		std::array<char, 4096> buff;
+		while (
+				fgets(
+					buff.data(),
+					static_cast<int>(buff.size()),
+					fd
+				) != nullptr
+			) {
+			output += buff.data();
+		}
+	}
+
+	std::filesystem::current_path(prev_work_dir);
+	return {pclose(fd), output};
+}
+
+#endif // _WIN32
+#endif // LAUNCH_PROGRAM_IMPLEMENTATION
+#endif // LAUNCH_PROGRAM_HPP
diff --git a/test/regression-runner.cpp2 b/test/regression-runner.cpp2
new file mode 100644
index 000000000..f25c20dad
--- /dev/null
+++ b/test/regression-runner.cpp2
@@ -0,0 +1,330 @@
+/*
+
+Expected usage:
+
+./regression-runner <target> <cppfront_exe_path> <tests_path_or_single_test>
+                    <compiler_path> <include_path> <compiler_flags...>
+
+*/
+#define LAUNCH_PROGRAM_IMPLEMENTATION
+#include "launch_program.hpp"
+
+fs: namespace == std::filesystem;
+
+main: (args) -> int = {
+	min_args :== 5;
+	assert(
+		args.ssize()-1 >= min_args,
+		"Expected at least (min_args)$ arguments. Received (args.ssize()-1)$\n",
+	);
+
+	// this_exe_path := fs::path(args[0]).canonical();
+	ctx: testing_context = (
+		args[1],
+		fs::path(args[2]).canonical(),
+		fs::path(args[4]), // We trust that this exe is in PATH.
+		fs::path(args[5]).canonical(),
+	);
+	path_to_test := fs::path(args[3]).canonical();
+	(copy i := min_args + 1) while i < args.ssize() next i++ {
+		_ = ctx.unformatted_compiler_args.emplace_back(args[i]);
+	}
+
+	// TODO: Remove this and all other debug prints (grep std::cout)
+	std::cout << "ctx.target: (ctx.target)$\n";
+	std::cout << "ctx.cppfront: (ctx.cppfront.string())$\n";
+	std::cout << "path_to_test: (path_to_test.string())$\n";
+	std::cout << "ctx.compiler: (ctx.compiler.string())$\n";
+	std::cout << "ctx.include_dir: (ctx.include_dir.string())$\n";
+	std::cout << "ctx.unformatted_compiler_args: (ctx.unformatted_compiler_args)$\n";
+	std::cout << '\n';
+
+	assert(
+		ctx.cppfront.is_regular_file(),
+		"Path to cppfront executable must be a regular file\n",
+	);
+
+	ext :== ".cpp2";
+
+	exit_status := EXIT_SUCCESS;
+	if !path_to_test.is_directory() {
+		assert(
+			path_to_test.extension() == ext,
+			"For one-shot testing, the path must point to a (ext)$ file\n",
+		);
+		tr := test_one(ctx, path_to_test);
+		std::cout << "(path_to_test.filename())$: (tr.to_string())$\n";
+		if tr != test_result::ok { exit_status = EXIT_FAILURE; }
+	} else {
+		for : fs::directory_iterator = (path_to_test) do (entry)
+		if entry.path().extension() == ext {
+			tr := test_one(ctx, entry.path());
+			std::cout << "(entry.path().filename())$: (tr.to_string())$\n";
+			if tr != test_result::ok { exit_status = EXIT_FAILURE; }
+		}
+	}
+
+	return exit_status;
+}
+
+testing_context: @struct type = {
+	target: std::string_view;
+	cppfront: fs::path;
+	compiler: fs::path;
+	include_dir: fs::path;
+	unformatted_compiler_args: std::vector<std::string_view> = ();
+	// override_files: bool; // TODO
+}
+
+test_result: @enum type = {
+	fail_unknown;
+	first_run;
+	lowered_output_mismatch;
+	cppfront_output_mismatch;
+	compiler_output_mismatch;
+	compiler_output_exists_when_it_shouldnt;
+	test_exe_output_mismatch;
+	test_exe_output_exists_when_it_shouldnt;
+	ok;
+
+	is_first_run: (this) -> bool = this == first_run;
+}
+
+test_one: (
+	ctx: testing_context,
+	test_filepath: fs::path,
+) -> test_result = {
+	ins: testing_instance = (
+		test_filepath,
+		test_filepath.parent_path() / "results" / test_filepath.stem(),
+		fs::temp_directory_path() / "cppfront-regressions" / test_filepath.stem(),
+		nullptr,
+	);
+
+	if !ins.result_dir.exists() || ins.result_dir.is_empty() {
+		ins.result = test_result::first_run;
+		_ = ins.result_dir.create_directory();
+		ins.output_dir = ins.result_dir&;
+	} else {
+		ins.output_dir = ins.work_dir&;
+	}
+	assert(
+		ins.result_dir.is_directory(),
+		"The result path ((ins.result_dir)$) must be a directory\n",
+	);
+	assert(ins.output_dir != nullptr);
+
+	_ = ins.work_dir.create_directories();
+	_: finally = ( :() = { _ = ins.work_dir&$*.remove_all(); } );
+
+	source_fn := transpile(ctx, ins);
+	if source_fn.empty() { return ins.result; }
+
+	executable_filepath := compile(ctx, ins, source_fn);
+	if executable_filepath.empty() { return ins.result; }
+
+	if execute(ins, executable_filepath) && !ins.result.is_first_run() {
+		ins.result = test_result::ok;
+	}
+
+	return ins.result;
+}
+
+testing_instance: @struct type = {
+	test_filepath: fs::path;
+	result_dir: fs::path;
+	work_dir: fs::path;
+	output_dir: *const fs::path;
+	result: test_result = ();
+}
+
+transpile: (ctx: testing_context, inout ins: testing_instance) -> fs::path = {
+	lowered_output_fn :== "00-lowered.cpp";
+	lowered_output_filepath: const = ins.output_dir* / lowered_output_fn;
+
+	cppfront_args: std::vector<std::string> = (
+		"-o",
+		lowered_output_filepath.string(),
+		ins.test_filepath.filename().string(),
+	);
+
+	launch_result := launch_program(
+		ins.test_filepath.parent_path(),
+		ctx.cppfront,
+		cppfront_args,
+	);
+
+	cppfront_output_fn :== "01-cppfront.output";
+	cppfront_output_filepath: const = ins.output_dir* / cppfront_output_fn;
+
+	(: std::ofstream = (cppfront_output_filepath)) << launch_result.output;
+
+	if ins.result.is_first_run() {
+		if lowered_output_filepath.exists() {
+			return lowered_output_filepath.filename();
+		} else {
+			return ();
+		}
+	}
+
+	assert(ins.output_dir* != ins.result_dir);
+
+	if (ins.result_dir / lowered_output_fn).read_file() !=
+	                lowered_output_filepath.read_file() {
+		ins.result = test_result::lowered_output_mismatch;
+		return ();
+	}
+
+	if (ins.result_dir / cppfront_output_fn).read_file() !=
+	                cppfront_output_filepath.read_file() {
+		ins.result = test_result::cppfront_output_mismatch;
+		return ();
+	}
+
+	if lowered_output_filepath.exists() {
+		return lowered_output_filepath.filename();
+	} else {
+		if !ins.result.is_first_run() { ins.result = test_result::ok; }
+		return ();
+	}
+}
+
+compile: (ctx: testing_context, inout ins: testing_instance, source_fn: fs::path) -> fs::path = {
+	compiler_exe_out_path: const = ins.work_dir / "test.exe";
+
+	// NOTE: We always want this to be run with result's path so compiler
+	// error output matches.
+	source_file: const = ins.result_dir / source_fn;
+
+	compiler_args: std::vector<std::string> = ();
+	for ctx.unformatted_compiler_args do (uarg) {
+		arg := compiler_args.emplace_back(uarg)&;
+		arg*.replace_all("{source_file}", source_file.string());
+		arg*.replace_all("{include_dir}", ctx.include_dir.string());
+		arg*.replace_all("{exe_out}", compiler_exe_out_path.string());
+	}
+	// std::cout << "compiler_args: (compiler_args)$\n";
+
+	launch_result := launch_program(
+		ins.work_dir,
+		ctx.compiler,
+		compiler_args,
+	);
+
+	compiler_output_fn: const = "02-(ctx.target)$-compiler.output";
+	compiler_output_filepath: const = ins.output_dir* / compiler_output_fn;
+
+	if !launch_result.output.empty() {
+		(: std::ofstream = (compiler_output_filepath)) << launch_result.output;
+	}
+
+	if ins.result.is_first_run() {
+		if compiler_exe_out_path.exists() {
+			return compiler_exe_out_path;
+		} else {
+			return ();
+		}
+	}
+
+	if !launch_result.output.empty() {
+		assert(ins.output_dir* != ins.result_dir);
+
+		if (ins.result_dir / compiler_output_fn).read_file() !=
+		                compiler_output_filepath.read_file() {
+			ins.result = test_result::compiler_output_mismatch;
+			return ();
+		}
+	} else {
+		if compiler_output_filepath.exists() {
+			ins.result = test_result::compiler_output_exists_when_it_shouldnt;
+			return ();
+		}
+	}
+
+	if compiler_exe_out_path.exists() {
+		return compiler_exe_out_path;
+	} else {
+		if !ins.result.is_first_run() { ins.result = test_result::ok; }
+		return ();
+	}
+}
+
+execute: (
+	inout ins: testing_instance,
+	executable_filepath: fs::path,
+) -> bool = {
+	test_exe_output_fn :== "03-executable.output";
+	test_exe_output_filepath: const = ins.output_dir* / test_exe_output_fn;
+
+	cmd_result := launch_program(
+		ins.work_dir,
+		executable_filepath,
+		: std::vector<std::string> = (),
+	);
+
+	if !cmd_result.output.empty() {
+		(: std::ofstream = (test_exe_output_filepath)) << cmd_result.output;
+	}
+
+	if ins.result.is_first_run() { return true; }
+
+	if !cmd_result.output.empty() {
+		assert(ins.output_dir* != ins.result_dir);
+
+		if (ins.result_dir / test_exe_output_fn).read_file() !=
+		                test_exe_output_filepath.read_file() {
+			ins.result = test_result::test_exe_output_mismatch;
+			return false;
+		}
+	} else {
+		if test_exe_output_filepath.exists() {
+			ins.result = test_result::test_exe_output_exists_when_it_shouldnt;
+			return false;
+		}
+	}
+
+	return true;
+}
+
+replace_all: (
+	inout subject: std::string,
+	search: std::string_view,
+	replacement: std::string_view,
+) = {
+	pos: std::string::size_type = 0;
+	while (pos = subject.find(search, pos)) != std::string::npos {
+		_ = subject.replace(pos, search.size(), replacement);
+		pos += replacement.size();
+	}
+}
+
+read_file: (fp: fs::path) -> std::string = {
+	out: std::string = ();
+	b: std::array<char, 4096> = (); // TODO: Find a way to avoid this init?
+	bd := b.data();
+	f: std::ifstream = (fp, std::ios::in | std::ios::binary);
+	while f.read(bd, b.size()) { _ = out.append(bd, 0, f.gcount()); }
+	return out;
+}
+
+cpp2: namespace = { // TODO: remove later
+
+to_string: (p: fs::path) -> std::string = {
+	return p.string();
+}
+
+to_string: (vsv: std::vector<std::string_view>) -> std::string = {
+	ret: std::string = "size==(vsv.size())$ content=>(";
+	for vsv do (sv) _ = ret.append(sv).append(", ");
+	_ = ret.append(")");
+	return ret;
+}
+
+to_string: (vs: std::vector<std::string>) -> std::string = {
+	ret: std::string = "size==(vs.size())$ content=>(";
+	for vs do (s) _ = ret.append(s).append(", ");
+	_ = ret.append(")");
+	return ret;
+}
+
+}
diff --git a/test/regression/pure2-hello.cpp2 b/test/regression/pure2-hello.cpp2
new file mode 100644
index 000000000..8df8da04b
--- /dev/null
+++ b/test/regression/pure2-hello.cpp2
@@ -0,0 +1,14 @@
+
+main: () -> int = {
+    std::cout << "Hello " << name() << "\n";
+}
+
+name: () -> std::string = {
+    s: std::string = "world";
+    decorate(s);
+    return s;
+}
+
+decorate: (inout s: std::string) = {
+    s = "[" + s + "]";
+}
diff --git a/test/regression/results/pure2-hello/00-lowered.cpp b/test/regression/results/pure2-hello/00-lowered.cpp
new file mode 100644
index 000000000..6e55cdd8d
--- /dev/null
+++ b/test/regression/results/pure2-hello/00-lowered.cpp
@@ -0,0 +1,44 @@
+
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+#line 1 "pure2-hello.cpp2"
+
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "pure2-hello.cpp2"
+
+#line 2 "pure2-hello.cpp2"
+[[nodiscard]] auto main() -> int;
+
+#line 6 "pure2-hello.cpp2"
+[[nodiscard]] auto name() -> std::string;
+
+#line 12 "pure2-hello.cpp2"
+auto decorate(std::string& s) -> void;
+
+//=== Cpp2 function definitions =================================================
+
+#line 1 "pure2-hello.cpp2"
+
+#line 2 "pure2-hello.cpp2"
+[[nodiscard]] auto main() -> int{
+    std::cout << "Hello " << name() << "\n";
+}
+
+#line 6 "pure2-hello.cpp2"
+[[nodiscard]] auto name() -> std::string{
+    std::string s {"world"}; 
+    decorate(s);
+    return s; 
+}
+
+#line 12 "pure2-hello.cpp2"
+auto decorate(std::string& s) -> void{
+    s = "[" + s + "]";
+}
+
diff --git a/test/regression/results/pure2-hello/01-cppfront.output b/test/regression/results/pure2-hello/01-cppfront.output
new file mode 100644
index 000000000..d8f4c88bf
--- /dev/null
+++ b/test/regression/results/pure2-hello/01-cppfront.output
@@ -0,0 +1,2 @@
+pure2-hello.cpp2... ok (all Cpp2, passes safety checks)
+
diff --git a/test/regression/results/pure2-hello/03-executable.output b/test/regression/results/pure2-hello/03-executable.output
new file mode 100644
index 000000000..c8848197e
--- /dev/null
+++ b/test/regression/results/pure2-hello/03-executable.output
@@ -0,0 +1 @@
+Hello [world]