Registering the names for variables + removing patches to Compcert.