A conservative GC for C