Thanks for the detailed response. Yeah allocation seems like the biggest hangup here. I would rather have a function stick to a "no allocating" contract and al

Thanks for the detailed response. Yeah allocation seems like the biggest hangup here. I would rather have a function stick to a "no allocating" contract and allow for some undefined behavior than have a function unexpectedly allocate to preserve safety.