YAY!!! are we gonna have more formal verification???? woohoo!!

oh its about memory safety.