結果 : a programming language designed for operating systems