ΜFork: A pure actor-based concurrent machine architecture with memory-safety an