Fil-C: A memory-safe C implementation