[ironbound]

I can't review assembly, agreed on better language part but we'd need tooling to help prove it's correctness of you want the asm path.

[tucnak]

Well, is it that you can't or that you won't? All you need to do is learn it, you know? The full x86 ISA for one is quite nasty, but there's a useful subset, and other architectures are much nicer in general. Asm is as basic as it gets.