Core    to    Spin   
Nondeterministic Parallel Buffers