Exolicitely provide stack red-zone size as a parameter to stack alloc function.