Fix a bug with the finalizer and dump progressively each time the extract function is called
Record the builtin values as C keyword