Revert cstring_from_vec_with_nul - may break no_std???
Revert cstring_from_vec_with_nul - may break no_std???

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools