[gilnaa]

Great work!

"Allocate T bytes on stack bound as x" may sound a bit like T is a size instead of a type.