컴퓨터는 마법이 아니다, 극강의 명시성을 지향하는 시스템 언어 Mach 등장