Fair enough, though I still think even there the headspace of the author was more in line with proving single-threaded C virtual machine model does not map to h

Fair enough, though I still think even there the headspace of the author was more in line with proving single-threaded C virtual machine model does not map to how CPU actually behaves, not that a natively parallel language would be best suited to model a contemporary multicore or data parallel processor.