More work on example 8, adding lcos::local::receive_buffer