SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language