Everyone Says Assembly Is Untyped–Everyone Is Wrong

An avenuge of research worth being sniped on is Typed Assembly Language

https://en.wikipedia.org/wiki/Typed_assembly_language

https://www.cs.cornell.edu/talc/overview.html

Sorry, somewhat of a tangent but regarding:

> The %0 and %1 are positional references into a list you have to count by hand.

You can name your operands in gcc inline assembly.

https://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html#Output-...

Look for "asmSymbolicName".

On a phone so not checking if it builds, but something like `asm("add %[my_out], %[my_in], #3":[my_out]"=r"(outvar):[my_in]"r"(invar):);`.