what if after Linux and Git, Linus came up with his own memory safe language suited for kernel development?