...b)
etc.

So you can:

1. preload registers with "\\\\\\\\…" ,  "\"\"…"  and "\0\0\0…...

...that you can use 16 bytes SIMD registers on the buffer.

I presume you can...

...the compiler that it does not recognize the innermost call and does not save registers?

...I use them to point to hardware registers and maybe on top of existing byte...

...realloc: if the source is overlapped with the dest...using SSE or MMX registers... etc).

...other machine verifiable axioms (specifications for hardware registers etc).

Not sure what you mean by...

...assume() is useful is for reading hardware registers that are guaranteed to have certain values...

...compare structs
2) Structs that return in registers have their 0'd alignment holes destroyed...

...what registers are used as input, what registers are used for output, and which registers...

...there are tons of instructions manipulating xmm registers and the loop is unrolled by 8...