[nickpsecurity]

Very interesting. Especially combining a language primitive, English description, and assembly. I proposed that with a minimal Lisp for bootstrapping recently. The one I was looking at you might find interesting as you experiment with this stuff:

https://en.m.wikipedia.org/wiki/PreScheme

Both the PreScheme and VLISP papers have stuff about it.

[murisitarusenga]

Thank you. I personally struggled to understand Scheme continuations from their English descriptions, so I made a point of including concrete implementation details in my write-up.

Thank you for the link to PreScheme. It seems to have exactly the same goals that I was aiming for. I will look into it.