resolve.c (resolve_critical): Fix name mangling.