Foundations for alloca support (but doesn't quite work yet).