Hi Linus, Andrew, Here's an update to my patch. Thanks to Ingo Oeser for noticing that the patch had a couple of problems in the allocation loop (it would never end if an allocation failed, and the result of the allocation didn't need casting). David