Low Level

is it possible to write SAFE C? (with BILLIONS of deployments)