Index: src/AST/Node.hpp
===================================================================
--- src/AST/Node.hpp	(revision 23f99e1d5411939dbd45a0bbb1412b814c387ffa)
+++ src/AST/Node.hpp	(revision 1e9728707ae5eadc3870a36da6b72bab1bd0a78b)
@@ -9,7 +9,7 @@
 // Author           : Thierry Delisle
 // Created On       : Wed May 8 10:27:04 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed May 8 11:00:00 2019
-// Update Count     : 2
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed May 15 16:02:00 2019
+// Update Count     : 3
 //
 
@@ -137,5 +137,5 @@
 	const node_t & operator* () const { return *node; }
 	explicit operator bool() const { return node; }
-	operator const node_t * const() const { return node; }
+	operator const node_t *() const { return node; }
 
 	template<typename o_node_t>
Index: src/AST/Stmt.cpp
===================================================================
--- src/AST/Stmt.cpp	(revision 23f99e1d5411939dbd45a0bbb1412b814c387ffa)
+++ src/AST/Stmt.cpp	(revision 1e9728707ae5eadc3870a36da6b72bab1bd0a78b)
@@ -8,8 +8,8 @@
 //
 // Author           : Aaron B. Moss
-// Created On       : Wed May 8 13:00:00 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed May 8 13:00:00 2019
-// Update Count     : 1
+// Created On       : Wed May  8 13:00:00 2019
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed May 15 15:53:00 2019
+// Update Count     : 2
 //
 
@@ -18,10 +18,22 @@
 #include "DeclReplacer.hpp"
 
+namespace ast {
+
 // --- CompoundStmt
+CompoundStmt::CompoundStmt( const CompoundStmt& o ) : Stmt(o), kids(o.kids) {
+	assert(!"implemented");
+}
 
-namespace ast {
-	CompoundStmt::CompoundStmt( const CompoundStmt& o ) : Stmt(o), kids(o.kids) {
-		assert(!"implemented");
-	}
+// --- BranchStmt
+BranchStmt( const CodeLocation& loc, Kind kind, Label target, std::vector<Label>&& labels )
+: Stmt(loc, std::move(labels)), originalTarget(target), target(target), kind(kind) {
+	// Make sure a syntax error hasn't slipped through.
+	assert( Goto != kind || !target.empty() );
+}
+
+const char * BranchStmt::kindNames[] = {
+    "Goto", "Break", "Continue", "FallThrough", "FallThroughDefault"
+}
+
 }
 
Index: src/AST/Stmt.hpp
===================================================================
--- src/AST/Stmt.hpp	(revision 23f99e1d5411939dbd45a0bbb1412b814c387ffa)
+++ src/AST/Stmt.hpp	(revision 1e9728707ae5eadc3870a36da6b72bab1bd0a78b)
@@ -8,8 +8,8 @@
 //
 // Author           : Aaron B. Moss
-// Created On       : Wed May 8 13:00:00 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed May 8 13:00:00 2019
-// Update Count     : 1
+// Created On       : Wed May  8 13:00:00 2019
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed May 15 16:01:00 2019
+// Update Count     : 2
 //
 
@@ -70,7 +70,7 @@
 	: Stmt(loc, std::move(labels)) {}
 
-	const NullStmt * accept( Visitor& v ) const override { return v.visit( this ); }
-private:
-	NullStmt * clone() const override { return new NullStmt{ *this }; }
+	const NullStmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	NullStmt* clone() const override { return new NullStmt{ *this }; }
 };
 
@@ -80,5 +80,5 @@
 	ptr<Expr> expr;
 
-	ExprStmt( const CodeLocation& loc, Expr* e ) : Stmt(loc), expr(e) {}
+	ExprStmt( const CodeLocation& loc, const Expr* e ) : Stmt(loc), expr(e) {}
 
 	const Stmt * accept( Visitor& v ) const override { return v.visit( this ); }
@@ -87,5 +87,295 @@
 };
 
-
+class AsmStmt final : public Stmt {
+public:
+	bool isVolatile;
+	ptr<Expr> instruction;
+	std::vector<ptr<Expr>> output, input;
+	std::vector<ptr<ConstantExpr>> clobber;
+	std::vector<Label> gotoLabels;
+
+	AsmStmt( const CodeLocation& loc, bool isVolatile, const Expr * instruction,
+		std::vector<ptr<Expr>>&& output, std::vector<ptr<Expr>>&& input,
+		std::vector<ptr<ConstantExpr>>&& clobber, std::vector<Label>&& gotoLabels,
+		std::vector<Label>&& labels = {})
+	: Stmt(loc, std::move(labels)), isVolatile(isVolatile), instruction(instruction),
+	  output(std::move(output)), input(std::move(input)), clobber(std::move(clobber)),
+	  gotoLabels(std::move(gotoLabels)) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	AsmStmt* clone() const override { return new AsmStmt{ *this }; }
+};
+
+class DirectiveStmt final : public Stmt {
+public:
+	std::string directive;
+
+	DirectiveStmt( const CodeLocation& loc, const std::string & directive,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), directive(directive) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	DirectiveStmt* clone() const override { return new DirectiveStmt{ *this }; }
+};
+
+class IfStmt final : public Stmt {
+public:
+	ptr<Expr> cond;
+	ptr<Stmt> thenPart;
+	ptr<Stmt> elsePart;
+	std::vector<ptr<Stmt>> inits;
+
+	IfStmt( const CodeLocation& loc, const Expr* cond, const Stmt* thenPart,
+		Stmt * const elsePart, std::vector<ptr<Stmt>>&& inits,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), cond(cond), thenPart(thenPart), elsePart(elsePart),
+	  inits(std::move(inits)) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	IfStmt* clone() const override { return new IfStmt{ *this }; }
+};
+
+class SwitchStmt final : public Stmt {
+public:
+	ptr<Expr> cond;
+	std::vector<ptr<Stmt>> stmts;
+
+	SwitchStmt( const CodeLocation& loc, const Expr* cond, std::vector<ptr<Stmt>>&& stmts,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), cond(cond), stmts(std::move(stmts)) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	SwitchStmt* clone() const override { return new SwitchStmt{ *this }; }
+};
+
+class CaseStmt final : public Stmt {
+public:
+	ptr<Expr> cond;
+	std::vector<ptr<Stmt>> stmts;
+
+    CaseStmt( const CodeLocation& loc, const Expr* cond, std::vector<ptr<Stmt>>&& stmts,
+        std::vector<Label>&& labels = {} )
+    : Stmt(loc, std::move(labels)), cond(cond), stmts(std::move(stmts)) {}
+
+	bool isDefault() { return !cond; }
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	CaseStmt* clone() const override { return new CaseStmt{ *this }; }
+};
+
+class WhileStmt final : public Stmt {
+public:
+	ptr<Expr> cond;
+	ptr<Stmt> body;
+	std::vector<ptr<Stmt>> inits;
+	bool isDoWhile;
+
+	WhileStmt( const CodeLocation& loc, const Expr* cond, const Stmt* body,
+		std::vector<ptr<Stmt>>&& inits, bool isDoWhile = false, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), cond(cond), body(body), inits(std::move(inits)),
+	  isDoWhile(isDoWhile) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	WhileStmt* clone() const override { return new WhileStmt{ *this }; }
+};
+
+class ForStmt final : public Stmt {
+public:
+	std::vector<ptr<Stmt>> inits;
+	ptr<Expr> cond;
+	ptr<Expr> increment;
+	ptr<Stmt> body;
+
+	ForStmt( const CodeLocation& loc, std::vector<ptr<Stmt>>&& inits, const Expr* cond,
+		const Expr* increment, const Stmt* body, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), inits(std::move(inits)), cond(cond), increment(increment),
+	  body(body) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	ForStmt* clone() const override { return new ForStmt{ *this }; }
+};
+
+class BranchStmt final : public Stmt {
+public:
+	enum Kind { Goto, Break, Continue, FallThrough, FallThroughDefault };
+	static constexpr size_t kindEnd = 1 + (size_t)FallThroughDefault;
+
+	const Label originalTarget;
+	Label target;
+	ptr<Expr> computedTarget;
+	Kind kind;
+
+	BranchStmt( const CodeLocation& loc, Kind kind, Label target,
+		std::vector<Label>&& labels = {} );
+	BranchStmt( const CodeLocation& loc, const Expr* computedTarget,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), originalTarget(loc), target(loc),
+	  computedTarget(computedTarget), kind(Goto) {}
+
+	const char * kindName() { return kindNames[kind]; }
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	BranchStmt* clone() const override { return new BranchStmt{ *this }; }
+	static const char * kindNames[kindEnd];
+};
+
+class ReturnStmt final : public Stmt {
+public:
+	ptr<Expr> expr;
+
+	ReturnStmt( const CodeLocation& loc, const Expr* expr, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), expr(expr) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	ReturnStmt* clone() const override { return new ReturnStmt{ *this }; }
+};
+
+class ThrowStmt final : public Stmt {
+public:
+	enum Kind { Terminate, Resume };
+
+	ptr<Expr> expr;
+	ptr<Expr> target;
+	Kind kind;
+
+	ThrowStmt( const CodeLocation& loc, Kind kind, const Expr* expr, const Expr* target,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), expr(expr), target(target), kind(kind) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	ThrowStmt* clone() const override { return new ThrowStmt{ *this }; }
+};
+
+class TryStmt final : public Stmt {
+public:
+	ptr<CompoundStmt> body;
+	std::vector<ptr<CatchStmt>> handlers;
+	ptr<FinallyStmt> finally;
+
+	TryStmt( const CodeLocation& loc, const CompoundStmt* body,
+		std::vector<ptr<CatchStmt>>&& handlers, const FinallyStmt* finally,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), body(body), handlers(std::move(handlers)), finally(finally) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	TryStmt* clone() const override { return new TryStmt{ *this }; }
+};
+
+class CatchStmt final : public Stmt {
+public:
+	enum Kind { Terminate, Resume };
+
+	ptr<Decl> decl;
+	ptr<Expr> cond;
+	ptr<Stmt> body;
+	Kind kind;
+
+	CatchStmt( const CodeLocation& loc, Kind kind, const Decl* decl, const Expr* cond,
+		const Stmt* body, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), decl(decl), cond(cond), body(body), kind(kind) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	CatchStmt* clone() const override { return new CatchStmt{ *this }; }
+};
+
+class FinallyStmt final : public Stmt {
+public:
+	ptr<CompoundStmt> body;
+
+	FinallyStmt( const CodeLocation& loc, const CompoundStmt* body,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), body(body) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	FinallyStmt* clone() const override { return new FinallyStmt{ *this }; }
+};
+
+class WaitForStmt final : public Stmt {
+public:
+	struct Target {
+		ptr<Expr> function;
+		std::vector<ptr<Expr>> arguments;
+	};
+
+	struct Clause {
+		Target target;
+		ptr<Stmt> stmt;
+		ptr<Expr> cond;
+	};
+
+	struct Timeout {
+		ptr<Expr> time;
+		ptr<Stmt> stmt;
+		ptr<Expr> cond;
+	};
+
+	struct OrElse {
+		ptr<Stmt> stmt;
+		ptr<Expr> cond;
+	};
+
+	std::vector<Clause> clauses;
+	Timeout timeout;
+	OrElse orElse;
+
+	WaitForStmt( const CodeLocation& loc, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	WaitForStmt* clone() const override { return new WaitForStmt{ *this }; }
+};
+
+class WithStmt final : public Stmt {
+public:
+	std::vector<ptr<Expr>> exprs;
+	ptr<Stmt> stmt;
+
+	WithStmt( const CodeLocation& loc, std::vector<ptr<Expr>>&& exprs, const Stmt* stmt,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), exprs(std::move(exprs)), stmt(stmt) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	WithStmt* clone() const override { return new WithStmt{ *this }; }
+};
+
+class DeclStmt final : public Stmt {
+public:
+	ptr<Decl> decl;
+
+	DeclStmt( const CodeLocation& loc, const Decl* decl, std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), decl(decl) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	DeclStmt* clone() const override { return new DeclStmt{ *this }; }
+};
+
+class ImplicitCtorDtorStmt final : public Stmt {
+public:
+	readonly<Stmt> callStmt;
+
+	ImplicitCtorDtorStmt( const CodeLocation& loc, const Stmt* callStmt,
+		std::vector<Label>&& labels = {} )
+	: Stmt(loc, std::move(labels)), callStmt(callStmt) {}
+
+	const Stmt* accept( Visitor& v ) const override { return v.visit( this ); }
+private:
+	ImplicitCtorDtorStmt* clone() const override { return new ImplicitCtorDtorStmt{ *this }; }
+};
 
 //=================================================================================================
Index: src/AST/porting.md
===================================================================
--- src/AST/porting.md	(revision 23f99e1d5411939dbd45a0bbb1412b814c387ffa)
+++ src/AST/porting.md	(revision 1e9728707ae5eadc3870a36da6b72bab1bd0a78b)
@@ -109,4 +109,21 @@
 * `get_statement()` exclusively used for code location, replaced with `CodeLocation` field
 
+`CaseStmt`
+* `_isDefault` has been removed
+  * `isDefault` calculates value from `cond`
+  * default may not have a condition. I believe case (!default) requires a condition.
+
+`BranchStmt`
+* `Type` -> `Kind` and `type` -> `kind`
+* Constructors no longer throw SemanticErrorException:
+  * `label` constructor claims it is now considered a syntax error, replaced with assert.
+  * `computedTarget` constructor assumes `Goto`, other check would have SegFaulted.
+
+`TryStmt`
+* `block` -> `body` and `finallyBlock` -> `finally`
+
+`FinallyStmt`
+* `block` -> `body`
+
 `CompoundStmt`
 * **TODO** port copy operator