diff --git a/codegen-luau/src/backend/expression.rs b/codegen-luau/src/backend/expression.rs
new file mode 100644
index 0000000..358b833
--- /dev/null
+++ b/codegen-luau/src/backend/expression.rs
@@ -0,0 +1,147 @@
+use std::io::{Result, Write};
+
+use wasm_ast::node::{
+	BinOp, CmpOp, Expression, GetGlobal, GetLocal, LoadAt, MemoryGrow, MemorySize, Recall, Select,
+	UnOp, Value,
+};
+
+use super::manager::{write_f32, write_f64, write_separated, write_variable, Driver, Manager};
+
+impl Driver for Recall {
+	fn write(&self, _: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "reg_{} ", self.var)
+	}
+}
+
+impl Driver for Select {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "(")?;
+		self.cond.write(mng, w)?;
+		write!(w, "~= 0 and ")?;
+		self.a.write(mng, w)?;
+		write!(w, "or ")?;
+		self.b.write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for GetLocal {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_variable(self.var, mng, w)
+	}
+}
+
+impl Driver for GetGlobal {
+	fn write(&self, _: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "GLOBAL_LIST[{}].value ", self.var)
+	}
+}
+
+impl Driver for LoadAt {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "load_{}(memory_at_0, ", self.what.as_name())?;
+		self.pointer.write(mng, w)?;
+		write!(w, "+ {})", self.offset)
+	}
+}
+
+impl Driver for MemorySize {
+	fn write(&self, _: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "memory_at_{}.min ", self.memory)
+	}
+}
+
+impl Driver for MemoryGrow {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "rt.allocator.grow(memory_at_{}, ", self.memory)?;
+		self.value.write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for Value {
+	fn write(&self, _: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		match self {
+			Self::I32(i) => write!(w, "{i} "),
+			Self::I64(i) => write!(w, "{i} "),
+			Self::F32(f) => write_f32(*f, w),
+			Self::F64(f) => write_f64(*f, w),
+		}
+	}
+}
+
+impl Driver for UnOp {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		let (a, b) = self.op.as_name();
+
+		write!(w, "{a}_{b}(")?;
+		self.rhs.write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+fn write_bin_op(bin_op: &BinOp, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+	let op = bin_op.op.as_operator().unwrap();
+
+	write!(w, "(")?;
+	bin_op.lhs.write(mng, w)?;
+	write!(w, "{op} ")?;
+	bin_op.rhs.write(mng, w)?;
+	write!(w, ")")
+}
+
+fn write_bin_op_call(bin_op: &BinOp, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+	let (a, b) = bin_op.op.as_name();
+
+	write!(w, "{a}_{b}(")?;
+	bin_op.lhs.write(mng, w)?;
+	write!(w, ", ")?;
+	bin_op.rhs.write(mng, w)?;
+	write!(w, ")")
+}
+
+impl Driver for BinOp {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		if self.op.as_operator().is_some() {
+			write_bin_op(self, mng, w)
+		} else {
+			write_bin_op_call(self, mng, w)
+		}
+	}
+}
+
+impl Driver for CmpOp {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		let (a, b) = self.op.as_name();
+
+		write!(w, "{a}_{b}(")?;
+		self.lhs.write(mng, w)?;
+		write!(w, ", ")?;
+		self.rhs.write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for Expression {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		match self {
+			Self::Recall(e) => e.write(mng, w),
+			Self::Select(e) => e.write(mng, w),
+			Self::GetLocal(e) => e.write(mng, w),
+			Self::GetGlobal(e) => e.write(mng, w),
+			Self::LoadAt(e) => e.write(mng, w),
+			Self::MemorySize(e) => e.write(mng, w),
+			Self::MemoryGrow(e) => e.write(mng, w),
+			Self::Value(e) => e.write(mng, w),
+			Self::UnOp(e) => e.write(mng, w),
+			Self::BinOp(e) => e.write(mng, w),
+			Self::CmpOp(e) => e.write(mng, w),
+		}
+	}
+}
+
+impl Driver for &[Expression] {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_separated(self.iter(), |e, w| e.write(mng, w), w)
+	}
+}
diff --git a/codegen-luau/src/backend/manager.rs b/codegen-luau/src/backend/manager.rs
new file mode 100644
index 0000000..d917b54
--- /dev/null
+++ b/codegen-luau/src/backend/manager.rs
@@ -0,0 +1,89 @@
+use std::{
+	io::{Result, Write},
+	ops::Range,
+};
+
+#[derive(PartialEq, Eq)]
+pub enum Label {
+	Forward,
+	Backward,
+	If,
+}
+
+#[derive(Default)]
+pub struct Manager {
+	label_list: Vec<Label>,
+	pub num_param: usize,
+}
+
+impl Manager {
+	pub fn label_list(&self) -> &[Label] {
+		&self.label_list
+	}
+
+	pub fn push_label(&mut self, label: Label) -> usize {
+		self.label_list.push(label);
+
+		self.label_list.len() - 1
+	}
+
+	pub fn pop_label(&mut self) {
+		self.label_list.pop().unwrap();
+	}
+}
+
+pub trait Driver {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()>;
+}
+
+pub fn write_separated<I, T, M>(mut iter: I, mut func: M, w: &mut dyn Write) -> Result<()>
+where
+	M: FnMut(T, &mut dyn Write) -> Result<()>,
+	I: Iterator<Item = T>,
+{
+	match iter.next() {
+		Some(first) => func(first, w)?,
+		None => return Ok(()),
+	}
+
+	iter.try_for_each(|v| {
+		write!(w, ", ")?;
+		func(v, w)
+	})
+}
+
+pub fn write_ascending(prefix: &str, range: Range<usize>, w: &mut dyn Write) -> Result<()> {
+	write_separated(range, |i, w| write!(w, "{prefix}_{i}"), w)
+}
+
+pub fn write_f32(number: f32, w: &mut dyn Write) -> Result<()> {
+	let sign = if number.is_sign_negative() { "-" } else { "" };
+
+	if number.is_infinite() {
+		write!(w, "{sign}math.huge ")
+	} else if number.is_nan() {
+		write!(w, "{sign}0/0 ")
+	} else {
+		write!(w, "{number:e} ")
+	}
+}
+
+pub fn write_f64(number: f64, w: &mut dyn Write) -> Result<()> {
+	let sign = if number.is_sign_negative() { "-" } else { "" };
+
+	if number.is_infinite() {
+		write!(w, "{sign}math.huge ")
+	} else if number.is_nan() {
+		write!(w, "{sign}0/0 ")
+	} else {
+		write!(w, "{number:e} ")
+	}
+}
+
+pub fn write_variable(var: usize, mng: &Manager, w: &mut dyn Write) -> Result<()> {
+	if let Some(rem) = var.checked_sub(mng.num_param) {
+		write!(w, "loc_{rem} ")
+	} else {
+		write!(w, "param_{var} ")
+	}
+}
diff --git a/codegen-luau/src/backend/mod.rs b/codegen-luau/src/backend/mod.rs
new file mode 100644
index 0000000..5643428
--- /dev/null
+++ b/codegen-luau/src/backend/mod.rs
@@ -0,0 +1,4 @@
+pub mod manager;
+
+mod expression;
+mod statement;
diff --git a/codegen-luau/src/backend/statement.rs b/codegen-luau/src/backend/statement.rs
new file mode 100644
index 0000000..c87f11e
--- /dev/null
+++ b/codegen-luau/src/backend/statement.rs
@@ -0,0 +1,296 @@
+use std::{
+	io::{Result, Write},
+	ops::Range,
+};
+
+use wasm_ast::node::{
+	Backward, Br, BrIf, BrTable, Call, CallIndirect, Else, Forward, If, Intermediate, Memorize,
+	Return, SetGlobal, SetLocal, Statement, StoreAt,
+};
+
+use crate::analyzer::memory;
+
+use super::manager::{write_ascending, write_separated, write_variable, Driver, Label, Manager};
+
+fn br_target(level: usize, in_loop: bool, w: &mut dyn Write) -> Result<()> {
+	write!(w, "if desired then ")?;
+	write!(w, "if desired == {level} then ")?;
+	write!(w, "desired = nil ")?;
+
+	if in_loop {
+		write!(w, "continue ")?;
+	}
+
+	write!(w, "end ")?;
+	write!(w, "break ")?;
+	write!(w, "end ")
+}
+
+fn write_br_gadget(label_list: &[Label], rem: usize, w: &mut dyn Write) -> Result<()> {
+	match label_list.last() {
+		Some(Label::Forward | Label::If) => br_target(rem, false, w),
+		Some(Label::Backward) => br_target(rem, true, w),
+		None => Ok(()),
+	}
+}
+
+impl Driver for Memorize {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "reg_{} = ", self.var)?;
+		self.value.write(mng, w)
+	}
+}
+
+impl Driver for Forward {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		let rem = mng.push_label(Label::Forward);
+
+		write!(w, "while true do ")?;
+
+		self.body.iter().try_for_each(|s| s.write(mng, w))?;
+
+		write!(w, "break ")?;
+		write!(w, "end ")?;
+
+		mng.pop_label();
+		write_br_gadget(mng.label_list(), rem, w)
+	}
+}
+
+impl Driver for Backward {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		let rem = mng.push_label(Label::Backward);
+
+		write!(w, "while true do ")?;
+
+		self.body.iter().try_for_each(|s| s.write(mng, w))?;
+
+		write!(w, "break ")?;
+		write!(w, "end ")?;
+
+		mng.pop_label();
+		write_br_gadget(mng.label_list(), rem, w)
+	}
+}
+
+impl Driver for Else {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "else ")?;
+
+		self.body.iter().try_for_each(|s| s.write(mng, w))
+	}
+}
+
+impl Driver for If {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		let rem = mng.push_label(Label::If);
+
+		write!(w, "while true do ")?;
+		write!(w, "if ")?;
+		self.cond.write(mng, w)?;
+		write!(w, "~= 0 then ")?;
+
+		self.truthy.iter().try_for_each(|s| s.write(mng, w))?;
+
+		if let Some(s) = &self.falsey {
+			s.write(mng, w)?;
+		}
+
+		write!(w, "end ")?;
+		write!(w, "break ")?;
+		write!(w, "end ")?;
+
+		mng.pop_label();
+		write_br_gadget(mng.label_list(), rem, w)
+	}
+}
+
+fn write_br_at(up: usize, mng: &Manager, w: &mut dyn Write) -> Result<()> {
+	write!(w, "do ")?;
+
+	if up == 0 {
+		if let Some(&Label::Backward) = mng.label_list().last() {
+			write!(w, "continue ")?;
+		} else {
+			write!(w, "break ")?;
+		}
+	} else {
+		let level = mng.label_list().len() - 1 - up;
+
+		write!(w, "desired = {level} ")?;
+		write!(w, "break ")?;
+	}
+
+	write!(w, "end ")
+}
+
+impl Driver for Br {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_br_at(self.target, mng, w)
+	}
+}
+
+impl Driver for BrIf {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "if ")?;
+		self.cond.write(mng, w)?;
+		write!(w, "~= 0 then ")?;
+		write_br_at(self.target, mng, w)?;
+		write!(w, "end ")
+	}
+}
+
+impl Driver for BrTable {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "do ")?;
+		write!(w, "local temp = {{")?;
+
+		if !self.data.table.is_empty() {
+			write!(w, "[0] =")?;
+
+			for d in self.data.table.iter() {
+				write!(w, "{d}, ")?;
+			}
+		}
+
+		write!(w, "}} ")?;
+
+		write!(w, "desired = temp[")?;
+		self.cond.write(mng, w)?;
+		write!(w, "] or {} ", self.data.default)?;
+		write!(w, "break ")?;
+		write!(w, "end ")
+	}
+}
+
+impl Driver for Return {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "do return ")?;
+		self.list.as_slice().write(mng, w)?;
+		write!(w, "end ")
+	}
+}
+
+fn write_call_store(result: Range<usize>, w: &mut dyn Write) -> Result<()> {
+	if result.is_empty() {
+		return Ok(());
+	}
+
+	write_ascending("reg", result, w)?;
+	write!(w, " = ")
+}
+
+impl Driver for Call {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_call_store(self.result.clone(), w)?;
+
+		write!(w, "FUNC_LIST[{}](", self.func)?;
+		self.param_list.as_slice().write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for CallIndirect {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_call_store(self.result.clone(), w)?;
+
+		write!(w, "TABLE_LIST[{}].data[", self.table)?;
+		self.index.write(mng, w)?;
+		write!(w, "](")?;
+		self.param_list.as_slice().write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for SetLocal {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_variable(self.var, mng, w)?;
+		write!(w, "= ")?;
+		self.value.write(mng, w)
+	}
+}
+
+impl Driver for SetGlobal {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "GLOBAL_LIST[{}].value = ", self.var)?;
+		self.value.write(mng, w)
+	}
+}
+
+impl Driver for StoreAt {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write!(w, "store_{}(memory_at_0, ", self.what.as_name())?;
+		self.pointer.write(mng, w)?;
+		write!(w, "+ {}, ", self.offset)?;
+		self.value.write(mng, w)?;
+		write!(w, ")")
+	}
+}
+
+impl Driver for Statement {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		match self {
+			Self::Unreachable => write!(w, "error(\"out of code bounds\")"),
+			Self::Memorize(s) => s.write(mng, w),
+			Self::Forward(s) => s.write(mng, w),
+			Self::Backward(s) => s.write(mng, w),
+			Self::If(s) => s.write(mng, w),
+			Self::Br(s) => s.write(mng, w),
+			Self::BrIf(s) => s.write(mng, w),
+			Self::BrTable(s) => s.write(mng, w),
+			Self::Return(s) => s.write(mng, w),
+			Self::Call(s) => s.write(mng, w),
+			Self::CallIndirect(s) => s.write(mng, w),
+			Self::SetLocal(s) => s.write(mng, w),
+			Self::SetGlobal(s) => s.write(mng, w),
+			Self::StoreAt(s) => s.write(mng, w),
+		}
+	}
+}
+
+fn write_parameter_list(ir: &Intermediate, w: &mut dyn Write) -> Result<()> {
+	write!(w, "function(")?;
+	write_ascending("param", 0..ir.num_param, w)?;
+	write!(w, ")")
+}
+
+fn write_variable_list(ir: &Intermediate, w: &mut dyn Write) -> Result<()> {
+	let mut total = 0;
+
+	for data in &ir.local_data {
+		let range = total..total + usize::try_from(data.count()).unwrap();
+		let typed = data.value_type();
+
+		total = range.end;
+
+		write!(w, "local ")?;
+		write_ascending("loc", range.clone(), w)?;
+		write!(w, " = ")?;
+		write_separated(range, |_, w| write!(w, "ZERO_{typed} "), w)?;
+	}
+
+	if ir.num_stack != 0 {
+		write!(w, "local ")?;
+		write_ascending("reg", 0..ir.num_stack, w)?;
+		write!(w, " ")?;
+	}
+
+	Ok(())
+}
+
+impl Driver for Intermediate {
+	fn write(&self, mng: &mut Manager, w: &mut dyn Write) -> Result<()> {
+		write_parameter_list(self, w)?;
+
+		for v in memory::visit(self) {
+			write!(w, "local memory_at_{v} = MEMORY_LIST[{v}]")?;
+		}
+
+		write_variable_list(self, w)?;
+
+		mng.num_param = self.num_param;
+		self.code.write(mng, w)?;
+
+		write!(w, "end ")
+	}
+}
diff --git a/codegen-luau/src/gen.rs b/codegen-luau/src/gen.rs
deleted file mode 100644
index a78103d..0000000
--- a/codegen-luau/src/gen.rs
+++ /dev/null
@@ -1,849 +0,0 @@
-use std::{collections::BTreeSet, io::Result, ops::Range};
-
-use parity_wasm::elements::{
-	External, ImportCountType, Instruction, Internal, Module, NameSection, ResizableLimits,
-};
-
-use wasm_ast::{
-	builder::{Builder, TypeInfo},
-	node::{
-		Backward, BinOp, Br, BrIf, BrTable, Call, CallIndirect, CmpOp, Else, Expression, Forward,
-		GetGlobal, GetLocal, If, Intermediate, LoadAt, Memorize, MemoryGrow, MemorySize, Recall,
-		Return, Select, SetGlobal, SetLocal, Statement, StoreAt, UnOp, Value,
-	},
-	writer::{Transpiler, Writer},
-};
-
-use super::analyzer::{localize, memory};
-
-fn aux_internal_index(internal: Internal) -> u32 {
-	match internal {
-		Internal::Function(v) | Internal::Table(v) | Internal::Memory(v) | Internal::Global(v) => v,
-	}
-}
-
-fn new_limit_max(limits: &ResizableLimits) -> String {
-	match limits.maximum() {
-		Some(v) => v.to_string(),
-		None => "0xFFFF".to_string(),
-	}
-}
-
-fn write_separated<I, T, M>(mut iter: I, mut func: M, w: Writer) -> Result<()>
-where
-	M: FnMut(T, Writer) -> Result<()>,
-	I: Iterator<Item = T>,
-{
-	match iter.next() {
-		Some(first) => func(first, w)?,
-		None => return Ok(()),
-	}
-
-	iter.try_for_each(|v| {
-		write!(w, ", ")?;
-		func(v, w)
-	})
-}
-
-fn write_table_init(limit: &ResizableLimits, w: Writer) -> Result<()> {
-	let a = limit.initial();
-	let b = new_limit_max(limit);
-
-	write!(w, "{{ min = {a}, max = {b}, data = {{}} }}")
-}
-
-fn write_memory_init(limit: &ResizableLimits, w: Writer) -> Result<()> {
-	let a = limit.initial();
-	let b = new_limit_max(limit);
-
-	write!(w, "rt.allocator.new({a}, {b})")
-}
-
-fn write_func_start(wasm: &Module, index: u32, offset: u32, w: Writer) -> Result<()> {
-	let opt = wasm
-		.names_section()
-		.and_then(NameSection::functions)
-		.and_then(|v| v.names().get(index));
-
-	write!(w, "FUNC_LIST")?;
-
-	if let Some(name) = opt {
-		write!(w, "--[[{name}]]")?;
-	}
-
-	write!(w, "[{}] =", index + offset)
-}
-
-fn write_ascending(prefix: &str, range: Range<usize>, w: Writer) -> Result<()> {
-	write_separated(range, |i, w| write!(w, "{prefix}_{i}"), w)
-}
-
-fn write_f32(number: f32, w: Writer) -> Result<()> {
-	let sign = if number.is_sign_negative() { "-" } else { "" };
-
-	if number.is_infinite() {
-		write!(w, "{sign}math.huge ")
-	} else if number.is_nan() {
-		write!(w, "{sign}0/0 ")
-	} else {
-		write!(w, "{number:e} ")
-	}
-}
-
-fn write_f64(number: f64, w: Writer) -> Result<()> {
-	let sign = if number.is_sign_negative() { "-" } else { "" };
-
-	if number.is_infinite() {
-		write!(w, "{sign}math.huge ")
-	} else if number.is_nan() {
-		write!(w, "{sign}0/0 ")
-	} else {
-		write!(w, "{number:e} ")
-	}
-}
-
-fn write_named_array(name: &str, len: usize, w: Writer) -> Result<()> {
-	let len = len.saturating_sub(1);
-
-	write!(w, "local {name} = table.create({len})")
-}
-
-fn write_parameter_list(ir: &Intermediate, w: Writer) -> Result<()> {
-	write!(w, "function(")?;
-	write_ascending("param", 0..ir.num_param, w)?;
-	write!(w, ")")
-}
-
-fn write_call_store(result: Range<usize>, w: Writer) -> Result<()> {
-	if result.is_empty() {
-		return Ok(());
-	}
-
-	write_ascending("reg", result, w)?;
-	write!(w, " = ")
-}
-
-fn write_variable_list(ir: &Intermediate, w: Writer) -> Result<()> {
-	let mut total = 0;
-
-	for data in &ir.local_data {
-		let range = total..total + usize::try_from(data.count()).unwrap();
-		let typed = data.value_type();
-
-		total = range.end;
-
-		write!(w, "local ")?;
-		write_ascending("loc", range.clone(), w)?;
-		write!(w, " = ")?;
-		write_separated(range, |_, w| write!(w, "ZERO_{typed} "), w)?;
-	}
-
-	if ir.num_stack != 0 {
-		write!(w, "local ")?;
-		write_ascending("reg", 0..ir.num_stack, w)?;
-		write!(w, " ")?;
-	}
-
-	Ok(())
-}
-
-fn write_constant(code: &[Instruction], w: Writer) -> Result<()> {
-	// FIXME: Badly generated WASM will produce the wrong constant.
-	for inst in code {
-		let result = match *inst {
-			Instruction::I32Const(v) => write!(w, "{v} "),
-			Instruction::I64Const(v) => write!(w, "{v} "),
-			Instruction::F32Const(v) => write_f32(f32::from_bits(v), w),
-			Instruction::F64Const(v) => write_f64(f64::from_bits(v), w),
-			Instruction::GetGlobal(i) => write!(w, "GLOBAL_LIST[{i}].value "),
-			_ => {
-				continue;
-			}
-		};
-
-		return result;
-	}
-
-	write!(w, "error(\"mundane expression\")")
-}
-
-fn br_target(level: usize, in_loop: bool, w: Writer) -> Result<()> {
-	write!(w, "if desired then ")?;
-	write!(w, "if desired == {level} then ")?;
-	write!(w, "desired = nil ")?;
-
-	if in_loop {
-		write!(w, "continue ")?;
-	}
-
-	write!(w, "end ")?;
-	write!(w, "break ")?;
-	write!(w, "end ")
-}
-
-#[derive(PartialEq, Eq)]
-enum Label {
-	Forward,
-	Backward,
-	If,
-}
-
-#[derive(Default)]
-struct Visitor {
-	label_list: Vec<Label>,
-	num_param: usize,
-}
-
-impl Visitor {
-	fn write_br_gadget(&self, rem: usize, w: Writer) -> Result<()> {
-		match self.label_list.last() {
-			Some(Label::Forward | Label::If) => br_target(rem, false, w),
-			Some(Label::Backward) => br_target(rem, true, w),
-			None => Ok(()),
-		}
-	}
-
-	fn push_label(&mut self, label: Label) -> usize {
-		self.label_list.push(label);
-
-		self.label_list.len() - 1
-	}
-
-	fn pop_label(&mut self) {
-		self.label_list.pop().unwrap();
-	}
-}
-
-trait Driver {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()>;
-}
-
-impl Driver for Recall {
-	fn visit(&self, _: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "reg_{} ", self.var)
-	}
-}
-
-impl Driver for Select {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "(")?;
-		self.cond.visit(v, w)?;
-		write!(w, "~= 0 and ")?;
-		self.a.visit(v, w)?;
-		write!(w, "or ")?;
-		self.b.visit(v, w)?;
-		write!(w, ")")
-	}
-}
-
-fn write_variable(var: usize, v: &Visitor, w: Writer) -> Result<()> {
-	if let Some(rem) = var.checked_sub(v.num_param) {
-		write!(w, "loc_{rem} ")
-	} else {
-		write!(w, "param_{var} ")
-	}
-}
-
-impl Driver for GetLocal {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_variable(self.var, v, w)
-	}
-}
-
-impl Driver for GetGlobal {
-	fn visit(&self, _: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "GLOBAL_LIST[{}].value ", self.var)
-	}
-}
-
-impl Driver for LoadAt {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "load_{}(memory_at_0, ", self.what.as_name())?;
-		self.pointer.visit(v, w)?;
-		write!(w, "+ {})", self.offset)
-	}
-}
-
-impl Driver for MemorySize {
-	fn visit(&self, _: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "memory_at_{}.min ", self.memory)
-	}
-}
-
-impl Driver for MemoryGrow {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "rt.allocator.grow(memory_at_{}, ", self.memory)?;
-		self.value.visit(v, w)?;
-		write!(w, ")")
-	}
-}
-
-impl Driver for Value {
-	fn visit(&self, _: &mut Visitor, w: Writer) -> Result<()> {
-		match self {
-			Self::I32(i) => write!(w, "{i} "),
-			Self::I64(i) => write!(w, "{i} "),
-			Self::F32(f) => write_f32(*f, w),
-			Self::F64(f) => write_f64(*f, w),
-		}
-	}
-}
-
-impl Driver for UnOp {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		let (a, b) = self.op.as_name();
-
-		write!(w, "{a}_{b}(")?;
-		self.rhs.visit(v, w)?;
-		write!(w, ")")
-	}
-}
-
-fn write_bin_op(bin_op: &BinOp, v: &mut Visitor, w: Writer) -> Result<()> {
-	let op = bin_op.op.as_operator().unwrap();
-
-	write!(w, "(")?;
-	bin_op.lhs.visit(v, w)?;
-	write!(w, "{op} ")?;
-	bin_op.rhs.visit(v, w)?;
-	write!(w, ")")
-}
-
-fn write_bin_op_call(bin_op: &BinOp, v: &mut Visitor, w: Writer) -> Result<()> {
-	let (a, b) = bin_op.op.as_name();
-
-	write!(w, "{a}_{b}(")?;
-	bin_op.lhs.visit(v, w)?;
-	write!(w, ", ")?;
-	bin_op.rhs.visit(v, w)?;
-	write!(w, ")")
-}
-
-impl Driver for BinOp {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		if self.op.as_operator().is_some() {
-			write_bin_op(self, v, w)
-		} else {
-			write_bin_op_call(self, v, w)
-		}
-	}
-}
-
-impl Driver for CmpOp {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		let (a, b) = self.op.as_name();
-
-		write!(w, "{a}_{b}(")?;
-		self.lhs.visit(v, w)?;
-		write!(w, ", ")?;
-		self.rhs.visit(v, w)?;
-		write!(w, ")")
-	}
-}
-
-fn write_expr_list(list: &[Expression], v: &mut Visitor, w: Writer) -> Result<()> {
-	write_separated(list.iter(), |e, w| e.visit(v, w), w)
-}
-
-impl Driver for Expression {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		match self {
-			Self::Recall(e) => e.visit(v, w),
-			Self::Select(e) => e.visit(v, w),
-			Self::GetLocal(e) => e.visit(v, w),
-			Self::GetGlobal(e) => e.visit(v, w),
-			Self::LoadAt(e) => e.visit(v, w),
-			Self::MemorySize(e) => e.visit(v, w),
-			Self::MemoryGrow(e) => e.visit(v, w),
-			Self::Value(e) => e.visit(v, w),
-			Self::UnOp(e) => e.visit(v, w),
-			Self::BinOp(e) => e.visit(v, w),
-			Self::CmpOp(e) => e.visit(v, w),
-		}
-	}
-}
-
-impl Driver for Memorize {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "reg_{} = ", self.var)?;
-		self.value.visit(v, w)
-	}
-}
-
-impl Driver for Forward {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		let rem = v.push_label(Label::Forward);
-
-		write!(w, "while true do ")?;
-
-		self.body.iter().try_for_each(|s| s.visit(v, w))?;
-
-		write!(w, "break ")?;
-		write!(w, "end ")?;
-
-		v.pop_label();
-		v.write_br_gadget(rem, w)
-	}
-}
-
-impl Driver for Backward {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		let rem = v.push_label(Label::Backward);
-
-		write!(w, "while true do ")?;
-
-		self.body.iter().try_for_each(|s| s.visit(v, w))?;
-
-		write!(w, "break ")?;
-		write!(w, "end ")?;
-
-		v.pop_label();
-		v.write_br_gadget(rem, w)
-	}
-}
-
-impl Driver for Else {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "else ")?;
-
-		self.body.iter().try_for_each(|s| s.visit(v, w))
-	}
-}
-
-impl Driver for If {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		let rem = v.push_label(Label::If);
-
-		write!(w, "while true do ")?;
-		write!(w, "if ")?;
-		self.cond.visit(v, w)?;
-		write!(w, "~= 0 then ")?;
-
-		self.truthy.iter().try_for_each(|s| s.visit(v, w))?;
-
-		if let Some(s) = &self.falsey {
-			s.visit(v, w)?;
-		}
-
-		write!(w, "end ")?;
-		write!(w, "break ")?;
-		write!(w, "end ")?;
-
-		v.pop_label();
-		v.write_br_gadget(rem, w)
-	}
-}
-
-fn write_br_at(up: usize, v: &Visitor, w: Writer) -> Result<()> {
-	write!(w, "do ")?;
-
-	if up == 0 {
-		if let Some(&Label::Backward) = v.label_list.last() {
-			write!(w, "continue ")?;
-		} else {
-			write!(w, "break ")?;
-		}
-	} else {
-		let level = v.label_list.len() - 1 - up;
-
-		write!(w, "desired = {level} ")?;
-		write!(w, "break ")?;
-	}
-
-	write!(w, "end ")
-}
-
-impl Driver for Br {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_br_at(self.target, v, w)
-	}
-}
-
-impl Driver for BrIf {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "if ")?;
-		self.cond.visit(v, w)?;
-		write!(w, "~= 0 then ")?;
-
-		write_br_at(self.target, v, w)?;
-
-		write!(w, "end ")
-	}
-}
-
-impl Driver for BrTable {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "do ")?;
-		write!(w, "local temp = {{")?;
-
-		if !self.data.table.is_empty() {
-			write!(w, "[0] =")?;
-
-			for d in self.data.table.iter() {
-				write!(w, "{d}, ")?;
-			}
-		}
-
-		write!(w, "}} ")?;
-
-		write!(w, "desired = temp[")?;
-		self.cond.visit(v, w)?;
-		write!(w, "] or {} ", self.data.default)?;
-		write!(w, "break ")?;
-		write!(w, "end ")
-	}
-}
-
-impl Driver for Return {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "do return ")?;
-
-		write_expr_list(&self.list, v, w)?;
-
-		write!(w, "end ")
-	}
-}
-
-impl Driver for Call {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_call_store(self.result.clone(), w)?;
-
-		write!(w, "FUNC_LIST[{}](", self.func)?;
-
-		write_expr_list(&self.param_list, v, w)?;
-
-		write!(w, ")")
-	}
-}
-
-impl Driver for CallIndirect {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_call_store(self.result.clone(), w)?;
-
-		write!(w, "TABLE_LIST[{}].data[", self.table)?;
-
-		self.index.visit(v, w)?;
-
-		write!(w, "](")?;
-
-		write_expr_list(&self.param_list, v, w)?;
-
-		write!(w, ")")
-	}
-}
-
-impl Driver for SetLocal {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_variable(self.var, v, w)?;
-
-		write!(w, "= ")?;
-		self.value.visit(v, w)
-	}
-}
-
-impl Driver for SetGlobal {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "GLOBAL_LIST[{}].value = ", self.var)?;
-		self.value.visit(v, w)
-	}
-}
-
-impl Driver for StoreAt {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write!(w, "store_{}(memory_at_0, ", self.what.as_name())?;
-		self.pointer.visit(v, w)?;
-		write!(w, "+ {}, ", self.offset)?;
-		self.value.visit(v, w)?;
-		write!(w, ")")
-	}
-}
-
-impl Driver for Statement {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		match self {
-			Statement::Unreachable => write!(w, "error(\"out of code bounds\")"),
-			Statement::Memorize(s) => s.visit(v, w),
-			Statement::Forward(s) => s.visit(v, w),
-			Statement::Backward(s) => s.visit(v, w),
-			Statement::If(s) => s.visit(v, w),
-			Statement::Br(s) => s.visit(v, w),
-			Statement::BrIf(s) => s.visit(v, w),
-			Statement::BrTable(s) => s.visit(v, w),
-			Statement::Return(s) => s.visit(v, w),
-			Statement::Call(s) => s.visit(v, w),
-			Statement::CallIndirect(s) => s.visit(v, w),
-			Statement::SetLocal(s) => s.visit(v, w),
-			Statement::SetGlobal(s) => s.visit(v, w),
-			Statement::StoreAt(s) => s.visit(v, w),
-		}
-	}
-}
-
-impl Driver for Intermediate {
-	fn visit(&self, v: &mut Visitor, w: Writer) -> Result<()> {
-		write_parameter_list(self, w)?;
-
-		for v in memory::visit(self) {
-			write!(w, "local memory_at_{v} = MEMORY_LIST[{v}]")?;
-		}
-
-		write_variable_list(self, w)?;
-
-		v.num_param = self.num_param;
-		self.code.visit(v, w)?;
-
-		write!(w, "end ")
-	}
-}
-
-pub struct Generator<'a> {
-	wasm: &'a Module,
-	type_info: TypeInfo<'a>,
-}
-
-static RUNTIME: &str = include_str!("../runtime/runtime.lua");
-
-impl<'a> Transpiler<'a> for Generator<'a> {
-	fn new(wasm: &'a Module) -> Self {
-		let type_info = TypeInfo::from_module(wasm);
-
-		Self { wasm, type_info }
-	}
-
-	fn runtime(w: Writer) -> Result<()> {
-		write!(w, "{RUNTIME}")
-	}
-
-	fn transpile(&self, w: Writer) -> Result<()> {
-		write!(w, "local rt = require(script.Runtime)")?;
-
-		let func_list = self.build_func_list();
-
-		Self::gen_localize(&func_list, w)?;
-
-		write!(w, "local ZERO_i32 = 0 ")?;
-		write!(w, "local ZERO_i64 = 0 ")?;
-		write!(w, "local ZERO_f32 = 0.0 ")?;
-		write!(w, "local ZERO_f64 = 0.0 ")?;
-
-		write_named_array("FUNC_LIST", self.wasm.functions_space(), w)?;
-		write_named_array("TABLE_LIST", self.wasm.table_space(), w)?;
-		write_named_array("MEMORY_LIST", self.wasm.memory_space(), w)?;
-		write_named_array("GLOBAL_LIST", self.wasm.globals_space(), w)?;
-
-		self.gen_func_list(&func_list, w)?;
-		self.gen_start_point(w)
-	}
-}
-
-impl<'a> Generator<'a> {
-	fn gen_import_of<T>(&self, w: Writer, lower: &str, cond: T) -> Result<()>
-	where
-		T: Fn(&External) -> bool,
-	{
-		let import = match self.wasm.import_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-		let upper = lower.to_uppercase();
-
-		for (i, v) in import.iter().filter(|v| cond(v.external())).enumerate() {
-			let field = v.field();
-			let module = v.module();
-
-			write!(w, "{upper}[{i}] = wasm.{module}.{lower}.{field} ")?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_export_of<T>(&self, w: Writer, lower: &str, cond: T) -> Result<()>
-	where
-		T: Fn(&Internal) -> bool,
-	{
-		let export = match self.wasm.export_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-		let upper = lower.to_uppercase();
-
-		write!(w, "{lower} = {{")?;
-
-		for v in export.iter().filter(|v| cond(v.internal())) {
-			let field = v.field();
-			let index = aux_internal_index(*v.internal());
-
-			write!(w, "{field} = {upper}[{index}],")?;
-		}
-
-		write!(w, "}},")
-	}
-
-	fn gen_import_list(&self, w: Writer) -> Result<()> {
-		self.gen_import_of(w, "func_list", |v| matches!(v, External::Function(_)))?;
-		self.gen_import_of(w, "table_list", |v| matches!(v, External::Table(_)))?;
-		self.gen_import_of(w, "memory_list", |v| matches!(v, External::Memory(_)))?;
-		self.gen_import_of(w, "global_list", |v| matches!(v, External::Global(_)))
-	}
-
-	fn gen_export_list(&self, w: Writer) -> Result<()> {
-		self.gen_export_of(w, "func_list", |v| matches!(v, Internal::Function(_)))?;
-		self.gen_export_of(w, "table_list", |v| matches!(v, Internal::Table(_)))?;
-		self.gen_export_of(w, "memory_list", |v| matches!(v, Internal::Memory(_)))?;
-		self.gen_export_of(w, "global_list", |v| matches!(v, Internal::Global(_)))
-	}
-
-	fn gen_table_list(&self, w: Writer) -> Result<()> {
-		let table = match self.wasm.table_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-		let offset = self.wasm.import_count(ImportCountType::Table);
-
-		for (i, v) in table.iter().enumerate() {
-			write!(w, "TABLE_LIST[{}] =", i + offset)?;
-			write_table_init(v.limits(), w)?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_memory_list(&self, w: Writer) -> Result<()> {
-		let memory = match self.wasm.memory_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-		let offset = self.wasm.import_count(ImportCountType::Memory);
-
-		for (i, v) in memory.iter().enumerate() {
-			write!(w, "MEMORY_LIST[{}] =", i + offset)?;
-			write_memory_init(v.limits(), w)?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_global_list(&self, w: Writer) -> Result<()> {
-		let global = match self.wasm.global_section() {
-			Some(v) => v,
-			None => return Ok(()),
-		};
-		let offset = self.wasm.import_count(ImportCountType::Global);
-
-		for (i, v) in global.entries().iter().enumerate() {
-			write!(w, "GLOBAL_LIST[{}] = {{ value =", i + offset)?;
-			write_constant(v.init_expr().code(), w)?;
-			write!(w, "}}")?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_element_list(&self, w: Writer) -> Result<()> {
-		let element = match self.wasm.elements_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-
-		for v in element {
-			write!(w, "do ")?;
-			write!(w, "local target = TABLE_LIST[{}].data ", v.index())?;
-			write!(w, "local offset =")?;
-
-			write_constant(v.offset().as_ref().unwrap().code(), w)?;
-
-			write!(w, "local data = {{")?;
-
-			v.members()
-				.iter()
-				.try_for_each(|v| write!(w, "FUNC_LIST[{v}],"))?;
-
-			write!(w, "}}")?;
-
-			write!(w, "table.move(data, 1, #data, offset, target)")?;
-
-			write!(w, "end ")?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_data_list(&self, w: Writer) -> Result<()> {
-		let data = match self.wasm.data_section() {
-			Some(v) => v.entries(),
-			None => return Ok(()),
-		};
-
-		for v in data {
-			write!(w, "do ")?;
-			write!(w, "local target = MEMORY_LIST[{}]", v.index())?;
-			write!(w, "local offset =")?;
-
-			write_constant(v.offset().as_ref().unwrap().code(), w)?;
-
-			write!(w, "local data = \"")?;
-
-			v.value().iter().try_for_each(|v| write!(w, "\\x{v:02X}"))?;
-
-			write!(w, "\"")?;
-
-			write!(w, "rt.allocator.init(target, offset, data)")?;
-
-			write!(w, "end ")?;
-		}
-
-		Ok(())
-	}
-
-	fn gen_start_point(&self, w: Writer) -> Result<()> {
-		write!(w, "local function run_init_code()")?;
-		self.gen_table_list(w)?;
-		self.gen_memory_list(w)?;
-		self.gen_global_list(w)?;
-		self.gen_element_list(w)?;
-		self.gen_data_list(w)?;
-		write!(w, "end ")?;
-
-		write!(w, "return function(wasm)")?;
-		self.gen_import_list(w)?;
-		write!(w, "run_init_code()")?;
-
-		if let Some(start) = self.wasm.start_section() {
-			write!(w, "FUNC_LIST[{start}]()")?;
-		}
-
-		write!(w, "return {{")?;
-		self.gen_export_list(w)?;
-		write!(w, "}} end ")
-	}
-
-	fn gen_localize(func_list: &[Intermediate], w: Writer) -> Result<()> {
-		let mut loc_set = BTreeSet::new();
-
-		for func in func_list {
-			loc_set.extend(localize::visit(func));
-		}
-
-		loc_set
-			.into_iter()
-			.try_for_each(|(a, b)| write!(w, "local {a}_{b} = rt.{a}.{b} "))
-	}
-
-	fn build_func_list(&self) -> Vec<Intermediate> {
-		let list = self.wasm.code_section().unwrap().bodies();
-		let iter = list.iter().enumerate();
-
-		iter.map(|f| Builder::new(&self.type_info).consume(f.0, f.1))
-			.collect()
-	}
-
-	fn gen_func_list(&self, func_list: &[Intermediate], w: Writer) -> Result<()> {
-		let offset = self.type_info.len_ex().try_into().unwrap();
-
-		func_list.iter().enumerate().try_for_each(|(i, v)| {
-			write_func_start(self.wasm, i.try_into().unwrap(), offset, w)?;
-
-			v.visit(&mut Visitor::default(), w)
-		})
-	}
-}
diff --git a/codegen-luau/src/lib.rs b/codegen-luau/src/lib.rs
index 38b9f4c..b28d6c0 100644
--- a/codegen-luau/src/lib.rs
+++ b/codegen-luau/src/lib.rs
@@ -1,2 +1,7 @@
+pub static RUNTIME: &str = include_str!("../runtime/runtime.lua");
+
+pub use translator::translate;
+
 mod analyzer;
-pub mod gen;
+mod backend;
+mod translator;
diff --git a/codegen-luau/src/translator.rs b/codegen-luau/src/translator.rs
new file mode 100644
index 0000000..4f65ab9
--- /dev/null
+++ b/codegen-luau/src/translator.rs
@@ -0,0 +1,319 @@
+use std::{
+	collections::BTreeSet,
+	io::{Result, Write},
+};
+
+use parity_wasm::elements::{
+	External, ImportCountType, Instruction, Internal, Module, NameSection, ResizableLimits,
+};
+
+use wasm_ast::{
+	builder::{Builder, TypeInfo},
+	node::Intermediate,
+};
+
+use crate::{
+	analyzer::localize,
+	backend::manager::{write_f32, write_f64, Driver, Manager},
+};
+
+fn aux_internal_index(internal: Internal) -> u32 {
+	match internal {
+		Internal::Function(v) | Internal::Table(v) | Internal::Memory(v) | Internal::Global(v) => v,
+	}
+}
+
+fn limit_data_of(limits: &ResizableLimits) -> (u32, u32) {
+	let max = limits.maximum().unwrap_or(0xFFFF);
+
+	(limits.initial(), max)
+}
+
+fn write_table_init(limit: &ResizableLimits, w: &mut dyn Write) -> Result<()> {
+	let (a, b) = limit_data_of(limit);
+
+	write!(w, "{{ min = {a}, max = {b}, data = {{}} }}")
+}
+
+fn write_memory_init(limit: &ResizableLimits, w: &mut dyn Write) -> Result<()> {
+	let (a, b) = limit_data_of(limit);
+
+	write!(w, "rt.allocator.new({a}, {b})")
+}
+
+fn write_named_array(name: &str, len: usize, w: &mut dyn Write) -> Result<()> {
+	let len = len.saturating_sub(1);
+
+	write!(w, "local {name} = table.create({len})")
+}
+
+fn write_constant(code: &[Instruction], w: &mut dyn Write) -> Result<()> {
+	// FIXME: Badly generated WASM will produce the wrong constant.
+	for inst in code {
+		let result = match *inst {
+			Instruction::I32Const(v) => write!(w, "{v} "),
+			Instruction::I64Const(v) => write!(w, "{v} "),
+			Instruction::F32Const(v) => write_f32(f32::from_bits(v), w),
+			Instruction::F64Const(v) => write_f64(f64::from_bits(v), w),
+			Instruction::GetGlobal(i) => write!(w, "GLOBAL_LIST[{i}].value "),
+			_ => {
+				continue;
+			}
+		};
+
+		return result;
+	}
+
+	write!(w, "error(\"mundane expression\")")
+}
+
+fn write_import_of<T>(wasm: &Module, lower: &str, cond: T, w: &mut dyn Write) -> Result<()>
+where
+	T: Fn(&External) -> bool,
+{
+	let import = match wasm.import_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+	let upper = lower.to_uppercase();
+
+	for (i, v) in import.iter().filter(|v| cond(v.external())).enumerate() {
+		let field = v.field();
+		let module = v.module();
+
+		write!(w, "{upper}[{i}] = wasm.{module}.{lower}.{field} ")?;
+	}
+
+	Ok(())
+}
+
+fn write_export_of<T>(wasm: &Module, lower: &str, cond: T, w: &mut dyn Write) -> Result<()>
+where
+	T: Fn(&Internal) -> bool,
+{
+	let export = match wasm.export_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+	let upper = lower.to_uppercase();
+
+	write!(w, "{lower} = {{")?;
+
+	for v in export.iter().filter(|v| cond(v.internal())) {
+		let field = v.field();
+		let index = aux_internal_index(*v.internal());
+
+		write!(w, "{field} = {upper}[{index}],")?;
+	}
+
+	write!(w, "}},")
+}
+
+fn write_import_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	write_import_of(wasm, "func_list", |v| matches!(v, External::Function(_)), w)?;
+	write_import_of(wasm, "table_list", |v| matches!(v, External::Table(_)), w)?;
+	write_import_of(wasm, "memory_list", |v| matches!(v, External::Memory(_)), w)?;
+	write_import_of(wasm, "global_list", |v| matches!(v, External::Global(_)), w)
+}
+
+fn write_export_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	write_export_of(wasm, "func_list", |v| matches!(v, Internal::Function(_)), w)?;
+	write_export_of(wasm, "table_list", |v| matches!(v, Internal::Table(_)), w)?;
+	write_export_of(wasm, "memory_list", |v| matches!(v, Internal::Memory(_)), w)?;
+	write_export_of(wasm, "global_list", |v| matches!(v, Internal::Global(_)), w)
+}
+
+fn write_table_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	let table = match wasm.table_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+	let offset = wasm.import_count(ImportCountType::Table);
+
+	for (i, v) in table.iter().enumerate() {
+		write!(w, "TABLE_LIST[{}] =", i + offset)?;
+		write_table_init(v.limits(), w)?;
+	}
+
+	Ok(())
+}
+
+fn write_memory_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	let memory = match wasm.memory_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+	let offset = wasm.import_count(ImportCountType::Memory);
+
+	for (i, v) in memory.iter().enumerate() {
+		write!(w, "MEMORY_LIST[{}] =", i + offset)?;
+		write_memory_init(v.limits(), w)?;
+	}
+
+	Ok(())
+}
+
+fn write_global_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	let global = match wasm.global_section() {
+		Some(v) => v,
+		None => return Ok(()),
+	};
+	let offset = wasm.import_count(ImportCountType::Global);
+
+	for (i, v) in global.entries().iter().enumerate() {
+		write!(w, "GLOBAL_LIST[{}] = {{ value =", i + offset)?;
+		write_constant(v.init_expr().code(), w)?;
+		write!(w, "}}")?;
+	}
+
+	Ok(())
+}
+
+fn write_element_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	let element = match wasm.elements_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+
+	for v in element {
+		write!(w, "do ")?;
+		write!(w, "local target = TABLE_LIST[{}].data ", v.index())?;
+		write!(w, "local offset =")?;
+
+		write_constant(v.offset().as_ref().unwrap().code(), w)?;
+
+		write!(w, "local data = {{")?;
+
+		v.members()
+			.iter()
+			.try_for_each(|v| write!(w, "FUNC_LIST[{v}],"))?;
+
+		write!(w, "}}")?;
+
+		write!(w, "table.move(data, 1, #data, offset, target)")?;
+
+		write!(w, "end ")?;
+	}
+
+	Ok(())
+}
+
+fn write_data_list(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	let data = match wasm.data_section() {
+		Some(v) => v.entries(),
+		None => return Ok(()),
+	};
+
+	for v in data {
+		write!(w, "do ")?;
+		write!(w, "local target = MEMORY_LIST[{}]", v.index())?;
+		write!(w, "local offset =")?;
+
+		write_constant(v.offset().as_ref().unwrap().code(), w)?;
+
+		write!(w, "local data = \"")?;
+
+		v.value().iter().try_for_each(|v| write!(w, "\\x{v:02X}"))?;
+
+		write!(w, "\"")?;
+
+		write!(w, "rt.allocator.init(target, offset, data)")?;
+
+		write!(w, "end ")?;
+	}
+
+	Ok(())
+}
+
+fn build_func_list(wasm: &Module, type_info: &TypeInfo) -> Vec<Intermediate> {
+	let list = wasm.code_section().unwrap().bodies();
+	let iter = list.iter().enumerate();
+
+	iter.map(|f| Builder::new(type_info).consume(f.0, f.1))
+		.collect()
+}
+
+fn write_localize_used(func_list: &[Intermediate], w: &mut dyn Write) -> Result<()> {
+	let mut loc_set = BTreeSet::new();
+
+	for func in func_list {
+		loc_set.extend(localize::visit(func));
+	}
+
+	loc_set
+		.into_iter()
+		.try_for_each(|(a, b)| write!(w, "local {a}_{b} = rt.{a}.{b} "))
+}
+
+fn write_func_start(wasm: &Module, index: u32, offset: u32, w: &mut dyn Write) -> Result<()> {
+	let opt = wasm
+		.names_section()
+		.and_then(NameSection::functions)
+		.and_then(|v| v.names().get(index));
+
+	write!(w, "FUNC_LIST")?;
+
+	if let Some(name) = opt {
+		write!(w, "--[[{name}]]")?;
+	}
+
+	write!(w, "[{}] =", index + offset)
+}
+
+fn write_func_list(
+	wasm: &Module,
+	type_info: &TypeInfo,
+	func_list: &[Intermediate],
+	w: &mut dyn Write,
+) -> Result<()> {
+	let offset = type_info.len_ex().try_into().unwrap();
+
+	func_list.iter().enumerate().try_for_each(|(i, v)| {
+		write_func_start(wasm, i.try_into().unwrap(), offset, w)?;
+
+		v.write(&mut Manager::default(), w)
+	})
+}
+
+fn write_module_start(wasm: &Module, w: &mut dyn Write) -> Result<()> {
+	write!(w, "local function run_init_code()")?;
+	write_table_list(wasm, w)?;
+	write_memory_list(wasm, w)?;
+	write_global_list(wasm, w)?;
+	write_element_list(wasm, w)?;
+	write_data_list(wasm, w)?;
+	write!(w, "end ")?;
+
+	write!(w, "return function(wasm)")?;
+	write_import_list(wasm, w)?;
+	write!(w, "run_init_code()")?;
+
+	if let Some(start) = wasm.start_section() {
+		write!(w, "FUNC_LIST[{start}]()")?;
+	}
+
+	write!(w, "return {{")?;
+	write_export_list(wasm, w)?;
+	write!(w, "}} end ")
+}
+
+/// # Errors
+/// Returns `Err` if writing to `Write` failed.
+pub fn translate(wasm: &Module, type_info: &TypeInfo, w: &mut dyn Write) -> Result<()> {
+	let func_list = build_func_list(wasm, type_info);
+
+	write_localize_used(&func_list, w)?;
+
+	write!(w, "local ZERO_i32 = 0 ")?;
+	write!(w, "local ZERO_i64 = 0 ")?;
+	write!(w, "local ZERO_f32 = 0.0 ")?;
+	write!(w, "local ZERO_f64 = 0.0 ")?;
+
+	write_named_array("FUNC_LIST", wasm.functions_space(), w)?;
+	write_named_array("TABLE_LIST", wasm.table_space(), w)?;
+	write_named_array("MEMORY_LIST", wasm.memory_space(), w)?;
+	write_named_array("GLOBAL_LIST", wasm.globals_space(), w)?;
+
+	write_func_list(wasm, type_info, &func_list, w)?;
+	write_module_start(wasm, w)
+}