How does this language address C's biggest problem, memory safety?