A safe systems programming language inspired by Swift.