Editor's drafts for david/update-poc branch of martinthomson/prio-l1-bound-sum