Alloca: modified type, implemented optional element number and alignment.