Dear Michael,
> Thanks, I've applied some slight tweaks, and applied the result down> to v17, leaving the heap_update point alone.
Thanks, I confirmed your commit on HEAD and LGTM.
Best regards,Hayato KurodaFUJITSU LIMITED