The fully-automated checking is precisely what allows one to write unmanaged code without tearing one's hair out.