Ocean: A new systems programming language