[nextos]

Thanks. I'm quite familiar with all the work from David Van Horn, including the paper you cited. I also think it's the way forward.